Bücher veröffentlicht von Springer US

It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance tradeoffs. In order to avoid time-consuming assembly language programming during design space exploration, compilers are needed. In order to analyze the effect of various software or hardware configurations on the performance, retargetable compilers are needed that can generate code for numerous different potential hardware configurations. This book provides a comprehensive and up-to-date overview of the fast developing area of retargetable compilers for embedded systems. It describes a large set important tools as well as applications of retargetable compilers at different levels in the design flow. Retargetable Compiler Technology for Embedded Systems is mostly self-contained and requires only fundamental knowledge in software and compiler design. It is intended to be a key reference for researchers and designers working on software, compilers, and processor optimization for embedded systems.

Information security concerns the confidentiality, integrity, and availability of information processed by a computer system. With an emphasis on prevention, traditional information security research has focused little on the ability to survive successful attacks, which can seriously impair the integrity and availability of a system. Trusted Recovery And Defensive Information Warfare uses database trusted recovery, as an example, to illustrate the principles of trusted recovery in defensive information warfare. Traditional database recovery mechanisms do not address trusted recovery, except for complete rollbacks, which undo the work of benign transactions as well as malicious ones, and compensating transactions, whose utility depends on application semantics. Database trusted recovery faces a set of unique challenges. In particular, trusted database recovery is complicated mainly by (a) the presence of benign transactions that depend, directly or indirectly on malicious transactions; and (b) the requirement by many mission-critical database applications that trusted recovery should be done on-the-fly without blocking the execution of new user transactions. Trusted Recovery And Defensive Information Warfare proposes a new model and a set of innovative algorithms for database trusted recovery. Both read-write dependency based and semantics based trusted recovery algorithms are proposed. Both static and dynamic database trusted recovery algorithms are proposed. These algorithms can typically save a lot of work by innocent users and can satisfy a variety of attack recovery requirements of real world database applications. Trusted Recovery And Defensive Information Warfare is suitable as a secondary text for a graduate level course in computer science, and as a reference for researchers and practitioners in information security.

Analog Design for CMOS VLSI Systems is a comprehensive text that offers a detailed study of the background principles and the analog design techniques for CMOS-VLSI implementation. The book covers the physical operation and the modelling of MOS transistors. Discusses the key features of integrated passive components and studies basic building blocks and voltage and current references before considering in great details the design of op-amps and comparators.The book is primarily intended for use as a graduate-level textbook and for practising engineers. It is expected that the reader should be familiar with the concepts taught in basic introductory courses in analog circuits. Relying on that proper background knowledge the book presents the material on an intuitive basis with a minimum use of mathematical quantitative analysis. Therefore, the insight induced by the book will favour that kind of knowledge gathering required for the design of high-performance analog circuits. The book favours this important process with a number of inserts providing hints or advises on key features of the topic studied.An interesting peculiarity of the book is the use of numbers. The equations describing the circuit operation are guidelines for the designer. It is important to assess performances in a quantitative way. To achieve this target the book provides a number of examples on computer simulations using Spice. Moreover, in order to acquire the feeling of the technological progress, three different hypothetical technologies are addressed and used.Detailed examples and the many problems make Analog Design for CMOS VLSI Systems a comprehensive textbook for a graduate-level course on analog circuit design. Moreover, the book will efficiently serve the practical needs of a wide range of circuit design and system design engineers.

Continuous-Time Sigma-Delta Modulation for A/D Conversion in Radio Receivers describes the design and theory of continuous-time sigma-delta modulators for analog-to-digital conversion in radio receivers. The book's main focus is on dynamic range, linearity and power efficiency aspects of sigma-delta modulators, which are very important requirements for use in battery operated receivers like GSM phones. An important part of the book deals with the image rejection performance of quadrature sigma-delta modulators. It is shown that techniques like dynamic-element-matching and integration of a mixer with the sigma-delta modulator greatly enhance the performance and functionality. In addition, the authors provide the reader with a theoretical overview of continuous-time sigma-delta modulation, including non-ideal effects, stability issues and different filter designs. The book's concluding chapters present chip realizations showing practical implementations of low-power and high-performance sigma-delta modulators for GSM and AM/FM radio applications.

Traditionally, scientific fields have defined boundaries, and scientists work on research problems within those boundaries. However, from time to time those boundaries get shifted or blurred to evolve new fields. For instance, the original goal of computer vision was to understand a single image of a scene, by identifying objects, their structure, and spatial arrangements. This has been referred to as image understanding. Recently, computer vision has gradually been making the transition away from understanding single images to analyzing image sequences, or video understanding. Video understanding deals with understanding of video sequences, e. g. , recognition of gestures, activities, facial expressions, etc. The main shift in the classic paradigm has been from the recognition of static objects in the scene to motion-based recognition of actions and events. Video understanding has overlapping research problems with other fields, therefore blurring the fixed boundaries. Computer graphics, image processing, and video databases have obvious overlap with computer vision. The main goal of computer graphics is to gener- ate and animate realistic looking images, and videos. Researchers in computer graphics are increasingly employing techniques from computer vision to gen- erate the synthetic imagery. A good example of this is image-based rendering and modeling techniques, in which geometry, appearance, and lighting is de- rived from real images using computer vision techniques. Here the shift is from synthesis to analysis followed by synthesis.

System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field.

Device and Circuit Cryogenic Operation for Low Temperature Electronics is a first in reviewing the performance and physical mechanisms of advanced devices and circuits at cryogenic temperatures that can be used for many applications. The first two chapters cover bulk silicon and SOI MOSFETs. The electronic transport in the inversion layer, the influence of impurity freeze-out, the special electrical properties of SOI structures, the device reliability and the interest of a low temperature operation for the ultimate integration of silicon down to nanometer dimensions are described. The next two chapters deal with Silicon-Germanium and III-V Heterojunction Bipolar Transistors, as well as III-V High Electron Mobility Transistors (HEMT). The basic physics of the SiGe HBT and its unique cryogenic capabilities, the optimization of such bipolar devices, and the performance of SiGe HBT BiCMOS technology at liquid nitrogen temperature are examined. The physical effects in III-V semiconductors at low temperature, the HEMT and HBT static, high frequency and noise properties, and the comparison of various cooled III-V devices are also addressed. The next chapter treats quantum effect devices made of silicon materials. The major quantum effects at low temperature, quantum wires, quantum dots as well as single electron devices and applications are investigated. The last chapter overviews the performances of cryogenic circuits and their applications. The low temperature properties and performance of inverters, multipliers, adders, operational amplifiers, memories, microprocessors, imaging devices, circuits and systems, sensors and read-out circuits are analyzed. Device and Circuit Cryogenic Operation for Low Temperature Electronics is useful for researchers, engineers, Ph.D. and M.S. students working in the field of advanced electron devices and circuits, new semiconductor materials, and low temperature electronics and physics.

A major advantage of a direct digital synthesizer (DDS) is that its output frequency, phase and amplitude can be precisely and rapidly manipulated under digital processor control. Other inherent DDS attributes include the ability to tune with extremely fine frequency and phase resolution, and to rapidly `hop' between frequencies. These combined characteristics have made the technology popular in military radar and communications systems. In fact, DDS technology was previously applied almost exclusively to high-end and military applications: it was costly, power-hungry, difficult to implement, and required a discrete high speed D/A converter. Due to improved integrated circuit (IC) technologies, they now present a viable alternative to analog-based phase-locked loop (PLL) technology for generating agile analog output frequency in consumer synthesizer applications. It is easy to include different modulation capabilities in the DDS by using digital signal processing (DSP) methods, because the signal is in digital form. By programming the DDS, adaptive channel bandwidths, modulation formats, frequency hopping and data rates are easily achieved. The flexibility of the DDS makes it ideal for signal generator for software radio. The digital circuits used to implement signal-processing functions do not suffer the effects of thermal drift, aging and component variations associated with their analog counterparts. The implementation of digital functional blocks makes it possible to achieve a high degree of system integration. Recent advances in IC fabrication technology, particularly CMOS, coupled with advanced DSP algorithms and architectures are providing possible single-chip DDS solutions to complex communication and signal processing subsystems as modulators, demodulators, local oscillators, programmable clock generators, and chirp generators. The DDS addresses a variety of applications, including cable modems, measurement equipments, arbitrary waveform generators, cellular base stations and wireless local loop base stations. Direct Digital Synthesizers was written to find possible applications for radio communication systems. It will have appeal for wireless and wireline communication engineers, teachers and students.

Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with other test adequacy criteria; empirical evidence and theoretical justification for the coupling effect; and techniques for speeding up mutation testing using various types of high performance architectures. Mutation has received the attention of software developers and testers in such diverse areas as network protocols and nuclear simulation. Mutation Testing for the New Century brings together cutting edge research results in mutation testing from a wide range of researchers. This book provides answers to key questions related to mutation and raises questions yet to be answered. It is an excellent resource for researchers, practitioners, and students of software engineering.

Underwater acoustic digital signal processing and communications is an area of applied research that has witnessed major advances over the past decade. Rapid developments in this area were made possible by the use of powerful digital signal processors (DSPs) whose speed, computational power and portability allowed efficient implementation of complex signal processing algorithms and experimental demonstration of their performance in a variety of underwater environments. The early results served as a motivation for the development of new and improved signal processing methods for underwater applications, which today range from classical of autonomous underwater vehicles and sonar signal processing, to remote control underwater wireless communications. This book presents the diverse areas of underwater acoustic signal processing and communication systems through a collection of contributions from prominent researchers in these areas. Their results, both new and those published over the past few years, have been assembled to provide what we hope is a comprehensive overview of the recent developments in the field. The book is intended for a general audience of researchers, engineers and students working in the areas of underwater acoustic signal processing. It requires the reader to have a basic understanding of the digital signal processing concepts. Each topic is treated from a theoretical perspective, followed by practical implementation details. We hope that the book can serve both as a study text and an academic reference.

Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design. System designers, as well as students willing to become system designers, often do not have the time to attend all scientific events where they could learn the necessary information. This book will bring them a selected digest of the best contributions and industry strength case studies. All the levels of abstraction that are relevant, from the informal user requirements down to the implementation specifications, are addressed by different contributors. The author, together with colleague authors who provide valuable additional experience, presents examples of actual industrial world applications. Furthermore the academic concepts presented in this book provide excellent theories to student readers and the concepts described are up to date and in so doing provide most suitable root information for Ph.D. postgraduates.

Systematic Design for Optimisation of Pipelined ADCs proposes and develops new strategies, methodologies and tools for designing low-power and low-area CMOS pipelined A/D converters. The task is tackled by following a scientifically-consistent approach. First of all, the state of the art in pipeline A/D converters is analysed with a double purpose: a) to identify the best suited among different strategies reported in literature and taking into account the objectives pursued; b) to identify the drawbacks of these strategies as a basic first step to improve them. Then, the book proposes a top-down design approach for implementing high-performance low-power and low-area CMOS pipelined A/D converters through: The conception, development and implementation of self-calibrated techniques to extend the linearity of some critical stages in the architecture of pipelined ADCs. The detailed analysis and modelling of some major non-idealities that limit the physical realisation of pipelined ADCs and the proposal, development and implementation of design methodologies to support systematic design of optimised instances of these converters which combine maximum performance with minimum power dissipation and minimum area occupation. GBP/LISTGBP Several implementations together with consistent measured results are presented. In particular, a practical realisation of a low-power 14-bit 5MS/s CMOS pipelined ADC with background analogue self-calibration is fully described. The proposed approach is fully in line with the best practice regarding the design of mixed-signal integrated circuits. On the one hand, drawbacks of currently existing solutions are overcame through innovative strategies and, on the other hand, the expert knowledge is packaged and made available for re-usability by the community of circuit designers. Finally, feasibility of the strategies and the associated encapsulated knowledge is granted through experimental validation of working silicon. Systematic Design for Optimisation of Pipelined ADCs serves as an excellent reference for analogue design engineers especially designers of low-power CMOS A/D converters. The book may also be used as a text for advanced reading on the subject.

The increasing amount of information available in today's world raises the need to retrieve relevant data efficiently. Unlike text-based retrieval, where keywords are successfully used to index into documents, content-based image retrieval poses up front the fundamental questions how to extract useful image features and how to use them for intuitive retrieval. We present a novel approach to the problem of navigating through a collection of images for the purpose of image retrieval, which leads to a new paradigm for image database search. We summarize the appearance of images by distributions of color or texture features, and we define a metric between any two such distributions. This metric, which we call the "e;Earth Mover's Distance"e; (EMD), represents the least amount of work that is needed to rearrange the mass is one distribution in order to obtain the other. We show that the EMD matches perceptual dissimilarity better than other dissimilarity measures, and argue that it has many desirable properties for image retrieval. Using this metric, we employ Multi-Dimensional Scaling techniques to embed a group of images as points in a two- or three-dimensional Euclidean space so that their distances reflect image dissimilarities as well as possible. Such geometric embeddings exhibit the structure in the image set at hand, allowing the user to understand better the result of a database query and to refine the query in a perceptually intuitive way.

In semigroup theory there are certain kinds of band decompositions, which are very useful in the study of the structure semigroups. There are a number of special semigroup classes in which these decompositions can be used very successfully. The book focuses attention on such classes of semigroups. Some of them are partially discussed in earlier books, but in the last thirty years new semigroup classes have appeared and a fairly large body of material has been published on them. The book provides a systematic review on this subject. The first chapter is an introduction. The remaining chapters are devoted to special semigroup classes. These are Putcha semigroups, commutative semigroups, weakly commutative semigroups, R-Commutative semigroups, conditionally commutative semigroups, RC-commutative semigroups, quasi commutative semigroups, medial semigroups, right commutative semigroups, externally commutative semigroups, E-m semigroups, WE-m semigroups, weakly exponential semigroups, (m,n)-commutative semigroups and n(2)-permutable semigroups. Audience: Students and researchers working in algebra and computer science.

This edited book is dedicated to Professor N. U. Ahmed, a leading scholar and a renowned researcher in optimal control and optimization on the occasion of his retirement from the Department of Electrical Engineering at University of Ottawa in 1999. The contributions of this volume are in the areas of optimal control, non- linear optimization and optimization applications. They are mainly the im- proved and expanded versions of the papers selected from those presented in two special sessions of two international conferences. The first special session is Optimization Methods, which was organized by K. L. Teo and X. Q. Yang for the International Conference on Optimization and Variational Inequality, the City University of Hong Kong, Hong Kong, 1998. The other one is Optimal Control, which was organized byK. ~Teo and L. Caccetta for the Dynamic Control Congress, Ottawa, 1999. This volume is divided into three parts: Optimal Control; Optimization Methods; and Applications. The Optimal Control part is concerned with com- putational methods, modeling and nonlinear systems. Three computational methods for solving optimal control problems are presented: (i) a regularization method for computing ill-conditioned optimal control problems, (ii) penalty function methods that appropriately handle final state equality constraints, and (iii) a multilevel optimization approach for the numerical solution of opti- mal control problems. In the fourth paper, the worst-case optimal regulation involving linear time varying systems is formulated as a minimax optimal con- trol problem.

Decomposition methods aim to reduce large-scale problems to simpler problems. This monograph presents selected aspects of the dimension-reduction problem. Exact and approximate aggregations of multidimensional systems are developed and from a known model of input-output balance, aggregation methods are categorized. The issues of loss of accuracy, recovery of original variables (disaggregation), and compatibility conditions are analyzed in detail. The method of iterative aggregation in large-scale problems is studied. For fixed weights, successively simpler aggregated problems are solved and the convergence of their solution to that of the original problem is analyzed. An introduction to block integer programming is considered. Duality theory, which is widely used in continuous block programming, does not work for the integer problem. A survey of alternative methods is presented and special attention is given to combined methods of decomposition. Block problems in which the coupling variables do not enter the binding constraints are studied. These models are worthwhile because they permit a decomposition with respect to primal and dual variables by two-level algorithms instead of three-level algorithms. Audience: This book is addressed to specialists in operations research, optimization, and optimal control.