Bücher der Reihe The Springer International Series in Engineering and Computer Science

Anatomy of a Silicon Compiler examines one such compiler in detail, covering the basic framework and design entry, the actual algorithms and libraries which are used, the approach to verification and testing, behavioral synthesis tools and several applications which demonstrate the system's capabilities.

Dynamic modeling is the fundamental building block for mechanism analysis, design, control and performance evaluation. The model was applied to a prototype walking machine, and simulations generated significant insights into walking machine performance on natural terrain.

Among the space activities of the last three decades satellite communications (SATCOM) has found the widest application in meeting both civil and military communications requirements.

A proliferation of research papers and a couple of books, written in English (there is an earlier book written in French), have emerged on the subject.

Matrix Computations on Systolic-Type Arrays provides a framework which permits a good understanding of the features and limitations of processor arrays for matrix algorithms.

Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance in VLSI and WSI Systems. Efficient algorithms are given for tractable covering problems and general techniques are given for dealing with a large number of intractable covering problems.

, data compression applied to signals such as speech, audio, images, and video signals (excluding other data types such as financial data or general purpose computer data).

In the development of the United States Space Program, robotic manipulation systems have increased in importance as the complexity of space missions has grown. Intelligent Robotic Systems for Space Exploration provides detailed algorithms and analysis for assembly of truss structure in space.

An Introduction to Fuzzy Logic Applications in Intelligent Systems consists of a collection of chapters written by leading experts in the field of fuzzy sets. People in computer science, especially those in artificial intelligence, knowledge-based systems, and intelligent systems will find this to be a valuable sourcebook.

For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process.

Measurement of Image Velocity presents a computational framework for computing motion information from sequences of images.

We view model-based navigation as a process of tracking naturally occurring environment features, which we refer to as "targets". Targets that have been predicted from the environment map are tracked to provide that are observed, but not predicted, vehicle position estimates.

We would like to take this opportunity to thank all of those individ uals who helped us assemble this text, including the people of Lockheed Sanders and Nestor, Inc., whose encouragement and support were greatly appreciated.

After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties lay in the attempts to balance computational efficiency and accuracy by separating the tempo ral and logical (or functional) behaviour of combinational circuits.

A manipulator, or 'robot', consists of a series of bodies (links) connected by joints to form a spatial mechanism. Unfortunately, for practical arm designs, the resulting models are complex and a considerable amount of research ef fort has gone into improving their numerical efficiency with a view to real time solution [32,41,51,61,77,87,91].

VLSI neural circuits play an important role in exploring and exploiting the rich properties of artificial neural networks by using pro grammable synapses and gain-adjustable neurons.

The theory's predictions and bounds to performance are valuable to the coding engineer, but coding today is mostly about structures and algorithms and their size, speed and error performance. Chapter 4 is a unified treatment of trellis codes, beginning with binary convolu tional codes and passing to the new trellis modulation codes.

Monte Carlo simulation is now a well established method for studying semiconductor devices and is particularly well suited to highlighting physical mechanisms and exploring material properties.

Concurrent Enterprising: Toward the Concurrent Enterprise in the Era of the Internet and Electronic Commerce presents the concurrent enterprise business model and concurrent enterprising approach, which is emerging as a crucial challenge for organizations in all geographical locations and economic sectors.

Human Face Recognition Using Third-Order Synthetic Neural Networks explores the viability of the application of High-order synthetic neural network technology to transformation-invariant recognition of complex visual patterns.

Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different languages, and a designer who knows the spectrum of available languages has the advantage over one who is trapped using the wrong language.

Darwin2K: An Evolutionary Approach to Automated Design for Robotics is an essential reference tool for researchers, professionals, and students involved in robot design or in evolutionary synthesis, design, and optimization.

Software product lines are emerging as a critical new paradigm for software development. With the increasing number of product lines and product-line researchers and practitioners, the time is right for a comprehensive examination of the issues surrounding the software product line approach.

laparoscopic surgery, is performed by using long surgical tools, that are inserted through small incisions at the ports of entry to the body (e. However, even in the best cases the level of performance of a surgeon in Minimally Invasive Surgery is still a fraction of the con ventional surgery.

Perceptual Organization for Artificial Vision Systems is an edited collection of invited contributions based on papers presented at The Workshop on Perceptual Organization in Computer Vision, held in Corfu, Greece, in September 1999.

Below is a copy of Professor Takeshi Takei's original preface that he wrote for my first book, Modem Ferrite Teclmology. Today, ferrites are employed in a truly wide range of applications, and the efforts of the many men and women working in the field are yielding many highly intriguing results.

The growth in the field of digital signal processing began with the simulation of continuous-time systems in the 1950s, even though the origin of the field can be traced back to 400 years when methods were developed to solve numerically problems such as interpolation and integration.

Still Image Compression on Parallel Computer Architectures investigates the application of parallel-processing techniques to digital image compression. Digital image compression is used to reduce the number of bits required to store an image in computer memory and/or transmit it over a communication link.

The purpose of Error-Control Coding for Data Networks is to provide an accessible and comprehensive overview of the fundamental techniques and practical applications of the error-control coding needed by students and engineers.