Kategoria BISAC: Computers >> Computer Engineering

Market demand for microprocessor performance has motivated continued scaling of CMOS through a succession of lithography generations. Quantum mechanical limitations to continued scaling are becoming readily apparent. Partially Depleted Silicon-on-Insulator (PD-SOI) technology is emerging as a promising means of addressing these limitations. It also introduces additional design complexity which must be well understood.

SOI Circuit Design Concepts first introduces the student or practicing engineer to SOI device physics and its fundamental idiosyncrasies. It then walks the reader...

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

This book deals with these formal methods applied to communicating embedded systems by...

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 rapidly growing interest in applying improved coding and detection techniques to magnetic data storage, a traditional approach to enhance performance of communication channels. Since its inception in the 1930's, the magnetic recording industry has achieved impressive progress in data capacity. This has been made possible mainly by innovations and advances in heads and media...

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 tools, and who have some experience programming in Fortran, Pascal, or C and have used a logic simulator.
A Guide to VHDL, Second Edition includes a number of paper exercises and computer lab experiments. If a compiler/simulator is available to the reader, then the lab exercises included in the chapters can be run to reinforce the learning...

An up-to-date and comprehensive review of magnetic storage systems, including particulate and rigid media, magnetic heads, tribology, signal processing spintronics, and other, future systems. A thorough theoretical discussion supplements the experimental and technical aspects. Each section commences with a tutorial paper, which is followed by technical discussions of current research in the area. Written at a level suitable for advanced graduate students.

This volume constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers presented were carefully reviewed and selected from 38 submissions. Among the topics addressed are biometrics, cryptography and electronic signatures on smart card security, formal methods for smart card evaluation and certification, architectures for multi-applications and secure open platforms, middleware for smart cards and novel applications of smart cards.

This text constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance...

This book explores model-based testing from a number of different perspectives. Combining various aspects of embedded systems and software--and their how they are applied--it covers theory and practice concerning the test specification and validation of complex software-intensive embedded systems. Model-based testing refers to software testing in which test cases are either wholly or partially derived from a model, illustrating selected aspects of a system under test. Detailed examples from industry provide solutions that are applicable in real-world testing practices. The text provides a...

Details a real-world product that applies a cutting-edge multi-core architecture

Increasingly demanding modern applications such as those used in telecommunications networking and real-time processing of audio, video, and multimedia streams require multiple processors to achieve computational performance at the rate of a few giga-operations per second. This necessity for speed and manageable power consumption makes it likely that the next generation of embedded processing systems will include hundreds of cores, while being increasingly programmable, blending...

Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year graduate students in electrical engineering, computer engineering, and computer science.

This book builds on the student's background from a first course in logic design and focuses on developing, verifying, and synthesizing designs of digital circuits. The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples (includes appendices for additional language details). It addresses the...

Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors."
This handbook provides both a comprehensive survey of available knowledge and established...

Written by high performance computing (HPC) experts, Introduction to High Performance Computing for Scientists and Engineers provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. From working in a scientific computing center, the authors gained a unique perspective on the requirements and attitudes of users as well as manufacturers of parallel computers.

The text first introduces the architecture of modern cache-based microprocessors and...

Coarse-grained reconfigurable architecture (CGRA) has emerged as a solution for flexible, application-specific optimization of embedded systems. Helping you understand the issues involved in designing and constructing embedded systems, Design of Low-Power Coarse-Grained Reconfigurable Architectures offers new frameworks for optimizing the architecture of components in embedded systems in order to decrease area and save power. Real application benchmarks and gate-level simulations substantiate these frameworks.

The first half of the book explains how to...

Real-time embedded systems are driving an information revolution with their pervasion in our everyday lives. The design of heterogeneous embedded systems poses a host of technical challenges that differ from those faced by general-purpose computers since they have much larger design space and are more complicated to optimize in terms of cost, timing, and power. This book provides state-of-the art information on new trends and applications in real-time embedded systems. Describing the theoretical frameworks behind these systems, the authors provide a systematic reference on the foundations...

This book looks at the practical needs of creating and maintaining an effective EA within a 21st century business through the use of pragmatic modelling. Introducing the concepts behind enterprise architectures, it teaches the modelling notation needed to effectively realise an enterprise architecture and explores the concepts more fully through a reallife enterprise architecture.

An image or video sequence is a series of two-dimensional (2-D) images sequen tially ordered in time. Image sequences can be acquired, for instance, by video, motion picture, X-ray, or acoustic cameras, or they can be synthetically gen erated by sequentially ordering 2-D still images as in computer graphics and animation. The use of image sequences in areas such as entertainment, visual communications, multimedia, education, medicine, surveillance, remote control, and scientific research is constantly growing as the use of television and video systems are becoming more and more common. The...

Develops a Comprehensive, Global Model for Contextually Based Processing Systems
A new perspective on global information systems operation

Helping to advance a valuable paradigm shift in the next generation and processing of knowledge, Introduction to Contextual Processing: Theory and Applications provides a comprehensive model for constructing a contextually based processing system. It explores the components of this system, the interactions of the components, key mathematical foundations behind the model, and new concepts necessary for operating the...

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several tools, both commercial and academic.
If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries...

The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating "gains" Constrained "flexibility" Higher performance & Increased...

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 microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tools, and a robust methodology. A condensed review of previous re search, emphasising the behavioural model underlying this style of verification is followed by a careful, and remarkably readable, ac count of the SECD architecture, its formalisation,...