Energy technology and engineering Books

Testing techniques for VLSI circuits are undergoing many exciting changes. The predominant method for testing digital circuits consists of applying a set of input stimuli to the IC and monitoring the logic levels at primary...

The field of optimization is interdisciplinary in nature, and has been making a significant impact on many disciplines. As a result, it is an indispensable tool for many practitioners in various fields. Conventional ...

The factory scheduling problem, that of allocating machines to competing jobs in manufacturing facilities to optimize or at least improve system performance, is encountered in many different manufacturing environments. Given...

Auditory User Interfaces: Toward the Speaking Computer describes a speech-enabling approach that separates computation from the user interface and integrates speech into the human-computer interaction. The Auditory User...

Very fast advances in IC technologies have brought new challenges into the physical design of integrated systems. The emphasis on system performance, in lately developed applications, requires timing and power constraints to be...

In the search for new functional materials, a clear understanding about the relationship between the physical properties and the atomic-scale structure of materials is needed. Here, the authors provide graduate students and...

Electromagnetic Signals deals with the practical applications of nonsinusoidal electromagnetic waves or carrier free radars, ultrawideband technology and large relative bandwidth technology. The book is unique since it deals...

This conference proceedings explores issues surrounding the replacement of existing nuclear power plants when they reach the end of their useful life. Topics covered include: Nuclear competitiveness regarding politics and...

The advent of the internet age has produced enormous demand for in­ creased storage capacity and for the consequent increases in the amount of information that can be stored in a small space. While physical and media ...

Distributed manipulation effects motion on objects through a large number of points of contact. The primary benefit of distributed manipulators is that many small inexpensive mechanisms can move and transport large heavy...

Science advances by leaps and bounds rather than linearly in time. I t is not uncommon for a new concept or approach to generate a lot of initial interest, only to enter a quiet period of years or decades and then suddenly...

"The professional schools will resume their professional responsibilities just to the degree that they can discover a science of design, a body of intellectually tough, partly formalizable, partly empirical teachable doctrine...

Over the past few years, the demand for high speed Digital Signal Proces­ sing (DSP) has increased dramatically. New applications in real-time image processing, satellite communications, radar signal processing, pattern...

Rapid advances in neural sciences and VLSI design technologies have provided an excellent means to boost the computational capability and efficiency of data and signal processing tasks by several orders of magnitude. With...

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of high-level synthesis today is similar to the state of logic...

This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been proposed in the literature,...

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . ...

The purpose of this monograph is to present computationally efficient algorithms for solving basic problems in robot manipulator dynamics. In par­ ticular, the following problems of rigid-link open-chain manipulator dynam­ ics...

Dynamic Systems (DEDS) are almost endless: military C31 Ilogistic systems, the emergency ward of a metropolitan hospital, back offices of large insurance and brokerage fums, service and spare part operations of multinational...

ATM Network Performance, Second Edition, describes approaches to computer and communication network management at the ATM layer of the protocol hierarchy. The focus is on satisfying quality-of-service requirements for...

Proceedings of the International Workshop, Thermal Solid Waste Utilization in Regular and Industrial Facilities, held in Kazimierz Dolny, Poland, November 28-30, 1999. In recent years, industrial and urban growth has...

Describing and designing complex electronic systems has become an overwhelming activit)' for which VHDL is showing increasingly useful and promising support. Although created as a description language. VHDL is being ...

3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3...

The layout of an integrated circuit (lC) is the process of assigning geometric shape, size and position to the components (transistors and connections) used in its fabrication. Since the number of components in modem ICs is...

Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance in VLSI and WSI Systems. The book examines solutions to a number of reconfiguration...

For many years, the dominant fault model in automatic test pattern gen­ eration (ATPG) for digital integrated circuits has been the stuck-at fault model. The static nature of stuck-at fault testing when compared to the...

This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim­ ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER...

Magnetic data storage can be viewed as a data communication system. This is not a sUlprising view, considering that data storage is essentially the transfer of data between different times. The past decade has indeed seen...

When it comes to frameworks, the familiar story of the elephant and the six blind philosophers seems to apply. As each philoso­ pher encountered a separate part of the elephant, each pronounced his considered, but flawed...

This book brings together important contributions and state-of-the-art research results in the rapidly advancing area of symbolic analysis of analog circuits. It is also of interest to those working in analog CAD. The book...

A Guide to VHDL, Second Edition is intended for the working engineer who needs to develop, document, simulate, and synthesize a design using the VHDL language. It is for system and chip designers who are working with VHDL CAD...

This monograph presents our recent research on Simultaneous Switching Noise (SSN) and related issues for CMOS based systems. Although some SSN related work was previously reported in the literature, it were mainly for Emitter...

Elliptic curves have been intensively studied in algebraic geometry and number theory. In recent years they have been used in devising efficient algorithms for factoring integers and primality proving, and in the ...

The history of this book begins way back in 1982. At that time a research proposal was filed with the Dutch Foundation for Fundamental Research on Matter concerning research to model defects in the layer structure of integrated...

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circuit performance. For this reason, statistical techniques are required to...

Power supply current monitoring to detect CMOS IC defects during production testing quietly laid down its roots in the mid-1970s. Both Sandia Labs and RCA in the United States and Philips Labs in the Netherlands practiced...

Modern high-capacity communication systems require filters with simultaneous good amplitude and phase responses. Selective Linear-Phase Switched-Capacitor and Digital Filters is the first coherent treatment of selective...

The intense drive for signal integrity has been at the forefront ofrapid and new developments in CAD algorithms. Thousands ofengineers, intent on achieving the best design possible, use SPICE on a daily basis for analog...

This book is the first in a set of forthcoming books focussed on state-of-the-art development in the VLSI Signal Processing area. It is a response to the tremendous research activities taking place in that field. These...

Concurrent simulation is over twenty years old. During that pe­ riod it has been widely adopted for the simulation of faults in digital circuits, for which it provides a combination of extreme efficiency and generality . Yet,...

The demand for wireless access to network services is growing in virtually all communications and computing applications. Once accustomed to unteathered opera­ tion, users resent being tied to a desk or a fixed location, but...

Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. Much present timing research relies heavily on timing diagrams,...

Advances in the state of the art mean the signal processing ICs of ever-increasing complexity are being introduced. While the typical portion of a large IC devoted to analog circuits has diminished, the performance of those...

Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal processors have been used extensively in such systems since they allow...

Analog Signal Generation for Built-In-Self-Test (BIST) of Mixed-Signal Integrated Circuits is a concise introduction to a powerful new signal generation technique. The book begins with a brief introduction to the testing...

Feed-Forward Neural Networks: Vector Decomposition Analysis, Modelling and Analog Implementation presents a novel method for the mathematical analysis of neural networks that learn according to the back-propagation algorithm...

Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC design and ASIC library...