Message from the General Chairs (PDF)

Message from the Organizing Chair (PDF)

Message from the Program Chairs (PDF)

Acknowledgments (PDF)

Conference Committees (PDF)

Dynamic Mapping of Runtime Information Models for Debugging Embedded Software (Abstract)

Principles for System Prototype and Verification Using Metamodel Based Transformations (Abstract)

Creation and Validation of Embedded Assertion Statecharts (Abstract)

Early Embedded Software Design Space Exploration Using UML-Based Estimation (Abstract)

A Prototyping Tool for Analysis and Modeling of Video Transmission Traces over IP Networks (Abstract)

Rapid Resource-Constrained Hardware Performance Estimation (Abstract)

Rapid Performance and Power Consumption Estimation Methods for Embedded System Design (Abstract)

Performance Evaluation of an Adaptive FPGA for Network Applications (Abstract)

A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design Environment (Abstract)

Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach" (Abstract)

The Prototyping Methodology of a Data Receiver for Digital Audio Broadcasting (DAB) Networks (Abstract)

System-on-Chip Design Methodology for a Statistical Coder (Abstract)

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment (Abstract)

Asynchronous Assertion Monitors for multi-Clock Domain System Verification (Abstract)

Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter (Abstract)

Integrated Verification Approach during ADL-Driven Processor Design (Abstract)

Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources (Abstract)

An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF) (Abstract)

A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs (Abstract)

Generative Business Process Prototyping Framework (Abstract)

An Embedded Java Virtual Machine Using Network-on-Chip Design (Abstract)

Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling (Abstract)

RTOS Scheduler Implementation in Hardware and Software for Real Time Applications (Abstract)

Application-Level Memory Optimization for MPSoC (Abstract)

Platform Development for Run-Time Reconfigurable Co-Emulation (Abstract)

Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool (Abstract)

Rapid Prototyping Design Acceleration Using a Novel Merging Methodology for Partial Configuration Streams of Xilinx Virtex-II FPGAs (Abstract)

Development of an FPGA-based System for Real-Time Simulation of (Abstract)

Parameter-Specific FPGA Implementation of Edit-Distance Calculation (Abstract)

A High Performance Parallel FIR Filters Generation Tool (Abstract)

Rapid Phototyping of a System-on-a-Chip for the BLAST Algorithm Implementation (Abstract)

Design and Implementation of an Object Tracker on a Reconfigurable System on Chip (Abstract)

Author Index (PDF)