Refine Results
Sort By
From
To
Page 3
Page 3
An Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with the visualization of signals and processes in addition to graphical programming of signal processing systems. Through the utilization of a professional and globally supported software for metrology and control engineering, DasyLab, useful applications can be developed, modified and optimized. Computer supported processing of real signals is made possible over the sound card and the parallel port. Over two hundred pre-programmed signal engineering systems and design transparencies are provided. Pictures also play a dominant rule in this book: there are numerous introduction-videos, one for every chapter, more than 250 high-quality pictures and - most important – all the "living" experiments and their results are visualized. With this learning system, readers can now make use of "equipment" and software, which was practically unaffordable for individuals in the past. What's more, here is a very new concept for learning Signal Processing, not only from the physically-based scientific fundamentals, but also from the didactic perspective, based on modern results of brain research.
Advances in Information Technologies for Electromagnetics
Simple tutorial chapters introduce the reader to cutting edge technologies, such as parallel and distributed computing, object-oriented technologies, grid computing, semantic grids, agent based computing and service-oriented architectures. On such bases, a variety of EM applications is proposed: 1) parallel FDTD codes (both for antenna analysis and for metamaterial applications), 2) grid computing for computational EM (CEM) (with applications to antenna arrays, wireless and remote-sensing systems) 3) mobile agents for parametric CEM modeling 4) complex/hybrid EM software environments (with applications to planar circuits, quasi-optical systems,…) 5) semantic grids for CAE of antennas arrays.
Advances in Electronic Testing : Challenges and Methodologies
The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The motivation and inspiration behind this book is to deliver a thorough text that focuses on the evolution of test technology, provides insight about the abiding importance of discussed topics, records today’s state of the art and industrial practices and trends, reveals the challenges for emerging testing methodologies, and envisages the future of this journey. The book consists of eleven edited chapters written by experts in Defect-Oriented Testing, Nanometer Technologies Failures and Testing, Silicon Debug, Delay Testing, High-Speed Test Interfaces, DFT-Oriented Low-Cost Testers, Embedded Cores and System-on-Chip Testing, Memory Testing, Mixed-Signal Testing, RF Testing and Loaded Board Testing.
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computati
Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya
This volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys by leading experts on topics that reflect many of the research and teaching interests of Varaiya, including: * hybrid systems and applications * communication, wireless, and sensor networks * transportation systems * stochastic systems * systems education
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Acollection of world class paper articles addressing the following topics: Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language Processing, Neural Networks, and Online Decision Support System.
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.
Ad-Hoc Networking Towards Seamless Communications
Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and industry and concentrates on wireless ad hoc networking paradigm. The persistent efforts to acquire the ability to establish dynamic wireless connections from anywhere to anyone with any device without prerequisite imbedded infrastructure move the communications boundaries towards ad-hoc networks. Recently, ad hoc networking has attracted growing interest due to advances in wireless communications, and developed framework for running IP based protocols. The expected degree of penetration of these networks will depend on the successful resolution of the key features.
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed signal design along with different adaptive architectures used to control any system parameter. The first part of the book gives an overview of the different elements that are normally used in adaptive designs including tunable elements as well as voltage, current, and time references with an emphasis on the circuit design of specific blocks such as voltage-controlled transconductors, offset comparators, and a novel technique for accurate implementation of on chip resistors. While the first part of the book addresses adaptive techniques at the circuit and block levels, the second part discusses adaptive equalization architectures employed to minimize the impact of ISI (Intersymbol Interference) on the quality of received data in high-speed wire line transceivers. It presents the implementation of a 125Mbps transceiver operating over a variable length of Category 5 (CAT-5) Ethernet cable as an example of adaptive equalizers.
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and functionality optimization. Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice includes chapter contributions that explore promising approaches and present the supporting data.
Adaptive Structural Systems with Piezoelectric Transducer Circuitry
Adaptive Structural Systems with Piezoelectric Transducer Circuitry provides a comprehensive discussion of the integration of piezoelectric transducers with electrical circuitry for the development and enhancement of adaptive structural systems.
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation of RF front-ends and their adaptivity to variable radio environments. Next, it highlights the optimization of RF front-ends that allow achieving of maximal performance with a certain power budget while targeting full integration. Also, it investigates possibilities for low-voltage low-power circuit topologies in CMOS technology.
Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive Low-Power Circuits for Wireless Communications provides this framework with a discussion of joint optimization of Noise Figure and Input Intercept Point in receiver systems. Original techniques to optimize voltage controlled oscillators and low-noise amplifiers to minimize their power consumption while maintaining adequate system performance are also provided. The experimental results presented at the end of the book confirm the utility of the proposed techniques.
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It concentrates on on-line algorithms whose adaptation occurs whenever a new sample of each environment signal is available. The material also illustrates block algorithms using a sub-band filtering framework whose adaptation occurs when a new block of data is available.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip the burgeoning field of quantum information science to its basics by linking it to universal concepts in physics.
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
