Graphical and digital media applications

Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die.

In recent years meshless/meshfree methods have gained considerable attention in engineering and applied mathematics.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHODLinear StaticsVolume 1 : The Basis and SolidsEugenio OnateThe two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM).

The importance of research and education in design continues to grow.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHODLinear StaticsVolume 1 : The Basis and SolidsEugenio OnateThe two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM).

Mixed Reality is moving out of the research-labs into our daily lives.

This book contains an edited version of the lectures and selected contri- tions presented during the Advanced Summer Institute on "e;Product Engine- ing: Tools and Methods based on Virtual Reality"e; organized at Chania th th (Greece) in the period 30 May-6 June 2007.

Computation and communication technologies underpin work and development in many different areas.

Content-Based Analysis Of Digital Video focuses on fundamental issues underlying the development of content access mechanisms for digital video.

Palmprint Authentication is the first book to provide a comprehensive introduction to palmprint technologies.

As the feature size decreases in deep sub-micron designs, coupling capacitance becomes the dominant factor in total capacitance.

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how SystemC can be made useful for system level modeling at higher levels of abstraction.

Power consumption is a key limitation in many high-speed and high-data-rate electronic systems today, ranging from mobile telecom to portable and desktop computing systems, especially when moving to nanometer technologies.

One of the grand challenges in the nano-scopic computing era is guarantees of robustness.

Cell-based design methodologies have dominated layout generation of digital circuits.

Perhaps nothing characterizes the inherent heterogeneity in embedded sys- tems than the ability to choose between hardware and software implementations of a given system function.

The last decade has seen a tremendous growth in the usage of the World Wide Web.

3D Face Processing: Modeling, Analysis and Synthesis introduces the frontiers of 3D face processing techniques.

The Verilog Hardware Description Language (Verilog-HDL) has long been the most popular language for describing complex digital hardware.

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design discusses new approaches to better timing-closure and manufacturability of DSM Integrated Circuits.

In the early 1990s, the establishment of the Internet brought forth a revolutionary viewpoint of information storage, distribution, and processing: the World Wide Web is becoming an enormous and expanding distributed digital library.

"e;As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry.

Chapter 3 Specifying RTL Properties 61 3.

Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress.

I am glad to see this new book on the e language and on verification.

Statistical timing analysis is an area of growing importance in nanometer te- nologies as the uncertainties associated with process and environmental var- tions increase and this chapter has captured some of the major efforts in this area.

This book is on digital system design for programmable devices, such as FPGAs, CPLDs, and PALs.

The development of any Software (Industrial) Intensive System, e.

Contributions on UML address the application of UML in the specification of embedded HW/SW systems.

Systematic Design of Sigma-Delta Analog-to-Digital Converters describes the issues related to the sigma-delta analog-to-digital converters (ADCs) design in a systematic manner: from the top level of abstraction represented by the filters defining signal and noise transfer functions (STF, NTF), passing through the architecture level where topology-related performance is calculated and simulated, and finally down to parameters of circuit elements like resistors, capacitors, and amplifier transconductances used in individual integrators.

Design of System on a Chip is the first of two volumes addressing the design challenges associated with new generations of the semiconductor technology.

Computer Methods for Analysis of Mixed-Mode Switching Circuits provides an in-depth treatment of the principles and implementation details of computer methods and numerical algorithms for analysis of mixed-mode switching circuits.

Synthesis and Optimization of DSP Algorithms describes approaches taken to synthesising structural hardware descriptions of digital circuits from high-level descriptions of Digital Signal Processing (DSP) algorithms.

In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip interconnect characteristics, design methodologies, layered views on different abstraction levels and finally about applying the interconnect-centric design in system-on-chip design.

Computer vision algorithms for the analysis of video data are obtained from a camera aimed at the user of an interactive system.

Integrated Image and Graphics Technologies attempts to enhance the access points to both introductory and advanced material in this area, and to facilitate the reader with a comprehensive reference for the study of integrated technologies, systems of image and graphics conveniently and effectively.

Audio Signal Processing for Next-Generation Multimedia Communication Systems presents cutting-edge digital signal processing theory and implementation techniques for problems including speech acquisition and enhancement using microphone arrays, new adaptive filtering algorithms, multichannel acoustic echo cancellation, sound source tracking and separation, audio coding, and realistic sound stage reproduction.

Appendices 133 A Mathematical Results 133 A.

The main intention of this book is to give an impression of the state of the art in energy-aware task-scheduling-related issues for very dynamic emb- ded real-time processing applications.

At 90 nm, wires account for nearly 75% of the total delay in a circuit.

Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components.

The 33 papers presented in this book were selected from amongst the 97 papers presented during the sixth edition of the International Conference on Integrated Design and Manufacturing in Mechanical Engineering during 28 sessions.

CAAD Futures is a biennial conference that aims to promote the advancement of computer-aided architectural design research and teaching.

The subject of computation in electricity and magnetism has so advanced in the past 40 years, since the advent of digital computers and thanks to the development of numerical methods, that today it urges and deserves adequate collocation also in curricula for electrical engineering.

Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach.

This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes the successful series Artificial Intelligence in Design (AID) published by Kluwer since 1992.

Aiming at the core of the problem, Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits presents a framework for the reuse-based design of AMS circuits.

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.

Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to one another and/or are assembled together.

This book contains the best papers of the Seventh International Conference on Enterprise Information Systems (ICEIS 2005), held in Miami (USA) and organized by INSTICC (Institute for Systems and Technologies of Information, Communication and Control) in collaboration with FLORIDA INTERNATIONAL UNIVERSITY, who hosted the event.