| 2007 | Structured Approach to Property Specification and Verification of HW IP. | Lyes Benalycherif, Anthony McIsaac, Neil Dunlop |
| 2007 | A Tailored Design Partitioning Method for Hardware Emulation. | Rene Beckert, Thomas Fuchs, Steffen Rlke, Wolfram Hardt |
| 2007 | Design Methodology and CAD Tools for Prototyping Delta-Sigma Fractional-N Frequency Synthesizers. | Himanshu Arora, Nikolaus Klemmer, Thomas Jochum, Patrick D. Wolf |
| 2006 | A Prototyping Tool for Analysis and Modeling of Video Transmission Traces over IP Networks. | Ming Yang, Nikolaos G. Bourbakis |
| 2006 | Conference Committees. | |
| 2006 | Acknowledgments. | |
| 2006 | Message from the Program Chairs. | |
| 2006 | Message from the Organizing Chair. | |
| 2006 | Message from the General Chairs. | |
| 2006 | RTOS Scheduler Implementation in Hardware and Software for Real Time Applications. | Melissa Vetromille, Luciano Ost, Csar A. M. Marcon, Carlos Eduardo Reif, Fabiano Hessel |
| 2006 | An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF). | Tianzhou Chen, Yin Yan, Hongjun Dai, Hu Wei |
| 2006 | Rapid Phototyping of a System-on-a-Chip for the BLAST Algorithm Implementation. | Euripides Sotiriades, Christos Kozanitis, Grigorios Chrysos, Apostolos Dollas |
| 2006 | Platform Development for Run-Time Reconfigurable Co-Emulation. | Rawat Siripokarpirom |
| 2006 | Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". | Benaoumeur Senouci, Aimen Bouchhima, Frdric Rousseau, Frdric Ptrot, Ahmed Amine Jerraya |
| 2006 | A High Performance Parallel FIR Filters Generation Tool. | Vagner S. Rosa, Eduardo A. C. da Costa, Sergio Bampi |
| 2006 | Principles for System Prototype and Verification Using Metamodel Based Transformations. | Luis Pedro, Levi Lucio, Didier Buchs |
| 2006 | A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design Environment. | Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae |
| 2006 | Early Embedded Software Design Space Exploration Using UML-Based Estimation. | Marcio Ferreira da Silva Oliveira, Lisane B. de Brisolara, Luigi Carro, Flvio Rech Wagner |
| 2006 | Rapid Performance and Power Consumption Estimation Methods for Embedded System Design. | Smal Niar, Nicolas Inglart |
| 2006 | Design and Implementation of an Object Tracker on a Reconfigurable System on Chip. | Felix Mhlbauer, Christophe Bobda |
| 2006 | Asynchronous Assertion Monitors for multi-Clock Domain System Verification. | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
| 2006 | Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. | Michel Metzger, Frdric Bastien, Frdric Rousseau, Julie Vachon, El Mostapha Aboulhamid |
| 2006 | An Embedded Java Virtual Machine Using Network-on-Chip Design. | Graham Mathias, Kenneth B. Kent |
| 2006 | The Prototyping Methodology of a Data Receiver for Digital Audio Broadcasting (DAB) Networks. | Pedro J. Lobo, M. A. Freire, Matas J. Garrido, Csar Sanz, Fernando Pescador, David Samper Martnez |
| 2006 | System-on-Chip Design Methodology for a Statistical Coder. | Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian |