New Algorithms, Architectures and Applications for Reconfigurable Computing

Robust Control Design with MATLAB®

Assertion-Based Design

Numerik-Algorithmen Verfahren, Beispiele, Anwendungen

Embedded Systems - qualitätsorientierte Entwicklung

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Computational Intelligence for Modelling and Prediction

Classification and Clustering for Knowledge Discovery

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Taxonomies for the Development and Verification of Digital Systems

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Design of Embedded Control Systems

An Introduction to Meshfree Methods and Their Programming

Interconnect-Centric Design for Advanced SoC and NoC

Digital Design and Implementation with Field Programmable Devices

Direct Transistor-level Layout for Digital Blocks

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation