Product Description
This book constitutes the refereed proceedings of the 13th International Conference on Field-Programmable Logic and Applications, FPL 2003, held in Lisbon, Portugal in September 2003. The 90 revised full papers and 56 revised poster papers presented were carefully reviewed and selected from 216 submissions. The papers are organized in topical sections on technologies and trends, communications applications, high level design tools, reconfigurable architecture, cryptographic applications, multi-context FPGAs, low-power issues, run-time reconfiguration, compilation tools, asynchronous techniques, bio-related applications, codesign, reconfigurable fabrics, image processing applications, SAT techniques, application-specific architectures, DSP applications, dynamic reconfiguration, SoC architectures, emulation, cache design, arithmetic, bio-inspired design, SoC design, cellular applications, fault analysis, and network applications. ... Read more

Customer Reviews (1)

Must-have for reconfigurable logic researchers
FPL is one of the premier conferences on reconfigurable logic and computation. If you work on the leading edge reconfigurable application or the tools that support them, you simply must have access to this resource - or your research library must.

//wiredweird, contributor to this collection ... Read more

Product Description

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.

Product Description
This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the fields covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: Parallel processing, databases, networks, and distributed systems; Symbolic computation, programming, and software engineering; Artificial intelligence, cognitive systems, and man-machine interaction; Robotics, image processing, and computer vision; Signal processing, control and manufacturing automation; Scientific computing, numerical software, and computer aided engineering. ... Read more

Product Description

With the advent of portable and small-sized computing systems, and with the new trends towards embedded and systems-on-a-chip computing, power management has emerged as a focal point in many research projects and commercial systems. In these systems, better management of power translates into longer battery life or into smaller batteries, which in turns implies smaller and lighter devices. Power management is also crucial in autonomous systems such as satellites and unmanned vehicles and planes. In such systems, better power management translates to longer missions or to smaller and lighter power generation systems, which makes room for other instrumentations to be added to the system.

This book covers a wide spectrum of power optimization and management techniques that spreads from circuit level optimization to application level power management. The spectrum includes power optimization and management at the microarchitecture level, the compiler level and the operating system level. The book also describes a number of methods for modeling and measuring power consumption in computer systems and for evaluating the effectiveness of power management techniques.

Product Description

This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007.

The 22 revised full papers presented together with 8 invited papers were carefully reviewed and selected from numerous submissions. Among the topics addressed is the applicability of various aspects of mathematics to engineering and computer science, especially in domains such as computer aided design, computer vision, and computer graphics. The papers cover a range of ideas from underlying theoretical tools to industrial uses of surfaces. Research is reported on theoretical aspects of surfaces including topology, parameterization, differential geometry, and conformal geometry, and also more practical topics such as geometric tolerances, computing shape from shading, and medial axes for industrial applications. Other specific areas of interest include subdivision schemes, solutions of differential equations on surfaces, knot insertion, surface segmentation, surface deformation, and surface fitting.

Product Description
Leaf Cell and Hierarchical Compaction Techniques presentsnovel algorithms developed for the compaction of large layouts. Thesealgorithms have been implemented as part of a system that has beenused on many industrial designs. The focus of Leaf Cell and Hierarchical Compaction Techniques isthree-fold. First, new ideas for compaction of leaf cells arepresented. These cells can range from small transistor-level layoutsto very large layouts generated by automatic Place and Route tools.Second, new approaches for hierarchical pitchmatching compaction aredescribed and the concept of a Minimum Design is introduced. Thesystem for hierarchical compaction is built on top of the leaf cellcompaction engine and uses the algorithms implemented for leaf cellcompaction in a modular fashion. Third, a new representation fordesigns called Virtual Interface, which allows for efficienttopological specification and representation of hierarchical layouts,is outlined. The Virtual Interface representation binds all of thealgorithms and their implementations for leaf and hierarchicalcompaction into an intuitive and easy-to-use system. From the Foreword: `...In this book, the authors provide a comprehensive approach tocompaction based on carefully conceived abstractions. They describethe design of algorithms that provide true hierarchical compactionbased on linear programming, but cut down the complexity of thecomputations through introduction of innovative representations thatcapture the provably minimum amount of required information needed forcorrect compaction. In most compaction algorithms, the complexity goesup with the number of design objects, but in this approach, complexityis due to the irregularity of the design, and hence is often tractablefor most designs which incorporate substantial regularity. Here the reader will find an elegant treatment of the many challengesof compaction, and a clear conceptual focus that provides a unifiedapproach to all aspects of the compaction task...'Jonathan Allen, Massachusetts Institute of Technology ... Read more

Product Description

This book constitutes the refereed proceedings of the First International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2004, held in Palma de Mallorca, Spain in September 2004.

Product Description
This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.
The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems. ... Read more

Product Description
As MOS devices are scaled to meet increasingly demandingcircuit specifications, process variations have a greater effect onthe reliability of circuit performance. For this reason, statisticaltechniques are required to design integrated circuits with maximumyield.Statistical Modeling for Computer-Aided Design of MOS VLSICircuits describes a statistical circuit simulation andoptimization environment for VLSI circuit designers. The first steptoward accomplishing statistical circuit design and optimization isthe development of an accurate CAD tool capable of performingstatistical simulation. This tool must be based on a statistical modelwhich comprehends the effect of device and circuit characteristics,such as device size, bias, and circuit layout, which are under thecontrol of the circuit designer on the variability of circuitperformance. The distinctive feature of the CAD tool described in thisbook is its ability to accurately model and simulate the effect inboth intra- and inter-die process variability on analog/digitalcircuits, accounting for the effects of the aforementioned device andcircuit characteristics.Statistical Modeling for Computer-Aided Design of MOS VLSICircuits serves as an excellent reference for those working in thefield, and may be used as the text for an advanced course on thesubject. ... Read more

Product Description
This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide range of submissions. The papers document the progress achieved since the predecessor conference (see LNCS 849). They are organized in sections on architectures, platforms, tools, arithmetic and signal processing, embedded systems and other applications, and reconfigurable design and models. ... Read more

Product Description
This volume presents the proceedings of the First International Conference on Applications of Databases, ADB-94, held at Vadstena, Sweden in June 1994. ADB-94 provided a unique platform for the discussion of innovative applications of databases among database researchers, developers and application designers. The 28 refereed papers were carefully selected from more than 100 submissions. They report on DB applications, for example in air traffic, modelling, maps, environment, finance, engineering, electronic publishing, and digital libraries, and they are devoted to advanced database services, as for example image text and multimedia modelling, fuzzy set based querying, knowledge management, heterogeneous multidatabase management, and intelligent networks. ... Read more

Product Description

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.

Product Description
Embedded systems are informally defined as a collection ofprogrammable parts surrounded by ASICs and other standard components,that interact continuously with an environment through sensors andactuators. The programmable parts include micro-controllers andDigital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, wherereliability and safety are more important criteria than performance.Today, embedded systems are designed with an ad hoc approachthat is heavily based on earlier experience with similar products andon manual design. Use of higher-level languages such as C helpsstructure the design somewhat, but with increasing complexity it isnot sufficient. Formal verification and automatic synthesis ofimplementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embeddedsystems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University ofCalifornia at Berkeley and, over the years, grew into a full designmethodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLISApproach is intended to give a complete overview of the POLISsystem including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLISApproach will be of interest to embedded system designers(automotive electronics, consumer electronics and telecommunications),micro-controller designers, CAD developers and students. ... Read more

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Numerical Methods and Applications, NMA 2002, held in Borovets, Bulgaria, in August 2002.

The 58 revised full papers presented together with 6 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. In accordance with various mini-symposia, the papers are organized in topical sections on Monte Carlo and Quasi-Monte Carlo methods, robust iterative solution methods and applications, control and uncertainty systems, numerical methods for sensor data processing, as well as in a section comprising various other methods, tools, and applications.

Product Description

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Numerical Methods and Applications, NMA 2006, held in Borovets, Bulgaria, in August 2006.

The 84 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on numerical methods for hyperbolic problems, robust preconditioning solution methods, Monte Carlo and quasi-Monte Carlo for diverse applications, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes, large-scale computations in environmental modelling, and contributed talks.

Product Description
The existence of electrical noise is basically due to the factthat electrical charge is not continuous but is carried in discreteamounts equal to the electron charge. Electrical noise represents afundamental limit on the performance of electronic circuits andsystems. With the explosive growth in the personal mobilecommunications market, the need for noise analysis/simulationtechniques for nonlinear electronic circuits and systems has beenre-emphasized. Even though most of the signal processing is done in the digitaldomain, every wireless communication device has an analog front-endwhich is usually the bottleneck in the design of the whole system. Therequirements for low-power operation and higher levels of integrationcreate new challenges in the design of the analog signal processingsubsystems of these mobile communication devices. The effect of noiseon the performance of these inherently nonlinear analog circuits isbecoming more and more significant. Analysis and Simulation of Noise in Nonlinear Electronic Circuitsand Systems presents analysis, simulation andcharacterization techniques and behavioral models for noise innonlinear electronic circuits and systems, along with practicalexamples. This book treats the problem within the framework of, andusing techniques from, the probabilistic theory of stochasticprocesses and stochastic differential systems. Analysis and Simulation of Noise in Nonlinear Electronic Circuitsand Systems will be of interest to RF/analog designers aswell as engineers interested in stochastic modeling and simulation. ... Read more

Product Description
Application-Driven Architecture Synthesis describes thestate of the art of architectural synthesis for complex real-timeprocessing.
In order to deal with the stringent timing requirements and theintricacies of complex real-time signal and data processing, targetarchitecture styles and target application domains have been adoptedto make the synthesis approach feasible. These approaches are alsoheavily application-driven, which is illustrated by many realisticdemonstrations, used as examples in the book.
The focus is on domains where application-specific solutions areattractive, such as significant parts of audio, telecom,instrumentation, speech, robotics, medical and automotive processing,image and video processing, TV, multi-media, radar, sonar.
Application-Driven Architecture Synthesis is of interest to bothacademics and senior design engineers and CAD managers in industry. Itprovides an excellent overview of what capabilities to expect fromfuture practical design tools, and includes an extensivebibliography.
... Read more

Product Description
Image sequence processing is becoming a tremendous tool toanalyzespatio-temporal data in all areas of naturalscience. It is the key to studythe dynamics of of complexscientific phenomena. Methods from computerscience and thefield of application are merged establishingnewinterdisciplinary research areas.This monograph emerged from scientific applications and thusis an example for such an interdisciplinaryapproach. It isaddressed both to computer scientists and toresearchersfrom other fields who are applying methods of computervision. The results presented are mostly fromenvironmentalphysics (oceanography) but they will be illuminatingandhelpful for researchers applying similar methods in otherareas. ... Read more