|
Antenna and algorithm design in MIMO communication systems exploiting the spatial selectivity of wireless channels
... and Algorithm Design in Correlated Channels In practical communications systems, the performance of a MIMO link is affected by the spatial distribution of the multipaths in the propagation environment [16].
by Antonio Forenza, The University of Texas at Austin
 view
Buy
|
|
Data Structures And Algorithms
1.9 Program Development : Analysis, Design, Coding, Testing and Verification Before we discuss various data structures, it is necessary to understand the program development process. This helps a programmer or a developer to generate ...
by N.A.Deshpande S.S.Sane
view
Buy
| Rating: 4.00
|
PARLE '91: Parallel architectures and algorithms
Parallel complexity in the design and analysis of concurrent systems Carme Alvarez* Jose L. Balcazar* Joaquim Gabarro* Miklos Santha"1" Dep. de Llenguatges i Sistemes Informatics CNRS - LRI Universitat Politecnica de Catalunya ...
by Emile H. L. Aarts, Jan Leeuwen, M. Rem
view
Buy
|
|
System and algorithm design for varve image analysis system
The detailed description of the varve image processing functionalities and algorithms are discussed in chapter 3 and the varve analysis and measurement part is described in chapter 4. Figure 1.7 Varve analysis flowchart.
by Zhijun He, The University of Arizona. Electrical & Computer Engineering
view
Buy
|
|
Computational Optimization, Methods and Algorithms
Chapter 8 Simulation-Driven Design in Microwave Engineering: Methods * Slawomir Koziel and Stanislav Ogurtsov Abstract. Today, electromagnetic (EM) simulation is inherent in analysis and design of microwave components.
by Slawomir Koziel, Xin-She Yang
view
Buy
|
|
Theory and algorithms for cooperative systems
- 25 chapters of creative approaches to modeling, analysis, and synthesis of cooperative systems- Research results from top researchers in the field of cooperative systems- Exciting insights to cooperative systems which have increasingly ...
by Don Grundel, Panos M. Pardalos
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
In Tools and Algorithms for Construction and Analysis of Systems, pages 193–207, 1999. 2. Carl Pixley. Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits. IEEE Design & Test of Computers, 18(4):4–5, 2001 .
by Kurt Jensen, Andreas Podelski
view
Buy
| Rating: 4.33
|
Data structures and algorithms
The design phase begins with a precisely detailed description of the problem to be solved (the document which is the output of the analysis phase) and gives a ( possibly programming language independent) solution to the problem.
by Shi Kuo Chang
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998.
by Bernhard Steffen
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2031, pages 328–342, Genova, Italy, ... Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD), LNCS 2517, pages 256–273, ...
by Hubert Garavel, John Hatcliff
view
Buy
| |
|