Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Full-Chip Nanometer Routing Techniques

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Mass Customization and Footwear: Myth, Salvation or Reality? A Comprehensive Analysis of the Adoption of the Mass Customization Paradigm in Footwear, from the Perspective of the EUROShoE (Extended User Oriented Shoe Enterprise) Research Project

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

Introduction to Scientific Visualization

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

Visualisierung digitaler Gelände- und Landschaftsdaten

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Feature Extraction Foundations and Applications

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Leakage in Nanometer CMOS Technologies

The Finite Element Method and Applications in Engineering Using Ansys®

Curves and Surfaces for Computer Graphics

Rapid Prototyping of Digital Systems

Interconnect Noise Optimization in Nanometer Technologies

Constraint-Based Verification

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

Condition Monitoring and Control for Intelligent Manufacturing

Practical Grey-box Process Identification Theory and Applications

Verification Methodology Manual for SystemVerilog

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Thermal and Power Management of Integrated Circuits

Embedded System Design

Scalable Hardware Verification with Symbolic Simulation

Writing Testbenches using System Verilog

A Practical Introduction to PSL

Hardware Verification with C++ A Practitioner’s Handbook

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Innovation in Life Cycle Engineering and Sustainable Development

A Roadmap for Formal Property Verification

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Design Computing and Cognition ’06

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Boundary Representation Modelling Techniques

Transformations and Projections in Computer Graphics

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

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

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

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Differential Evolution A Practical Approach to Global Optimization

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings

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

Mixed-Signal Layout Generation Concepts

System-Level Design Techniques for Energy-Efficient Embedded Systems

Taxonomies for the Development and Verification of Digital Systems

Design of Embedded Control Systems

Interconnect-Centric Design for Advanced SoC and NoC

Robust Control Design with MATLAB®

The Universal Generating Function in Reliability Analysis and Optimization

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

Distributed Network Systems From Concepts to Implementations

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

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

New Algorithms, Architectures and Applications for Reconfigurable Computing

Digital Design and Implementation with Field Programmable Devices

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

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

Numerik-Algorithmen Verfahren, Beispiele, Anwendungen

Embedded Systems - qualitätsorientierte Entwicklung

Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools

An Introduction to Meshfree Methods and Their Programming