Abstract is missing.
- Conference Committees [doi]
- Message from the General Chairs [doi]
- Message from the Organizing Chair [doi]
- Message from the Program Chairs [doi]
- Acknowledgments [doi]
- Dynamic Mapping of Runtime Information Models for Debugging Embedded SoftwarePhilipp Graf, Klaus D. Müller-Glaser. 3-9 [doi]
- Principles for System Prototype and Verification Using Metamodel Based TransformationsLuis Pedro, Levi Lucio, Didier Buchs. 10-17 [doi]
- Creation and Validation of Embedded Assertion StatechartsDoron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir. 17-23 [doi]
- Early Embedded Software Design Space Exploration Using UML-Based EstimationMarcio F. da S. Oliveira, Lisane B. de Brisolara, Luigi Carro, Flávio Rech Wagner. 24-32 [doi]
- A Prototyping Tool for Analysis and Modeling of Video Transmission Traces over IP NetworksMing Yang, Nikolaos G. Bourbakis. 33-39 [doi]
- Rapid Resource-Constrained Hardware Performance EstimationBasant Kumar Dwivedi, Arun Kejariwal, M. Balakrishnan, Anshul Kumar. 40-46 [doi]
- Rapid Performance and Power Consumption Estimation Methods for Embedded System DesignSmaïl Niar, Nicolas Inglart. 47-53 [doi]
- Performance Evaluation of an Adaptive FPGA for Network ApplicationsChristoforos Kachris, Stamatis Vassiliadis. 54-62 [doi]
- A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design EnvironmentSanggyu Park, Sang-yong Yoon, Soo-Ik Chae. 63-68 [doi]
- Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: Hardware-Dependent Software Oriented Approach Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya. 69-75 [doi]
- The Prototyping Methodology of a Data Receiver for Digital Audio Broadcasting (DAB) NetworksP. J. Lobo, M. A. Freire, M. J. Garrido, C. Sanz, F. Pescador, D. Samper. 76-81 [doi]
- System-on-Chip Design Methodology for a Statistical CoderThinh M. Le, X. H. Tian, B. L. Ho, J. Nankoo, Yong Lian. 82-90 [doi]
- Introspection Mechanisms for Semi-Formal Verification in a System-Level Design EnvironmentMichel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. 91-97 [doi]
- Asynchronous Assertion Monitors for multi-Clock Domain System VerificationKatell Morin-Allory, Laurent Fesquet, Dominique Borrione. 98-102 [doi]
- Formalizing the Incremental Design and Verification Process of a Pipelined Protocol ConverterCécile Braunstein, Emmanuelle Encrenaz. 103-109 [doi]
- Integrated Verification Approach during ADL-Driven Processor DesignAnupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinrich Meyr. 110-118 [doi]
- Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous ResourcesDaniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane Lavirotte, Michel Riveill. 119-125 [doi]
- An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF)Tianzhou Chen, Yin Yan, Hongjun Dai, Hu Wei. 126-132 [doi]
- A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCsIsabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Nicolas Museux, Frederic Pasquier. 133-139 [doi]
- Generative Business Process Prototyping FrameworkAng Chen, Didier Buchs. 140-148 [doi]
- An Embedded Java Virtual Machine Using Network-on-Chip DesignGraham Mathias, Kenneth B. Kent. 149-155 [doi]
- Service Based Component Design Approach for Flexible Hardware/Software Interface ModelingLobna Kriaa, Aimen Bouchhima, Wassim Youssef, Frédéric Pétrot, Anne-Marie Fouillart, Ahmed Amine Jerraya. 156-162 [doi]
- RTOS Scheduler Implementation in Hardware and Software for Real Time ApplicationsMelissa Vetromille, Luciano Ost, César A. M. Marcon, Carlos Eduardo Reif, Fabiano Hessel. 163-168 [doi]
- Application-Level Memory Optimization for MPSoCBruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur. 169-178 [doi]
- Platform Development for Run-Time Reconfigurable Co-EmulationRawat Siripokarpirom. 179-185 [doi]
- Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation ToolLuiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb. 186-192 [doi]
- Rapid Prototyping Design Acceleration Using a Novel Merging Methodology for Partial Configuration Streams of Xilinx Virtex-II FPGAsCarsten Bieser, Klaus D. Müller-Glaser. 193-199 [doi]
- Development of an FPGA-based System for Real-Time Simulation ofEftichios Koutroulis, Kostas Kalaitzakis, Vasileios Tzitzilonis. 200-208 [doi]
- Parameter-Specific FPGA Implementation of Edit-Distance CalculationKenneth B. Kent, Ryan B. Proudfoot, Yong Zhao. 209-215 [doi]
- A High Performance Parallel FIR Filters Generation ToolVagner S. Rosa, Eduardo A. C. da Costa, Sergio Bampi. 216-222 [doi]
- Rapid Phototyping of a System-on-a-Chip for the BLAST Algorithm ImplementationEuripides Sotiriades, Christos Kozanitis, Grigorios Chrysos, Apostolos Dollas. 223-229 [doi]
- Design and Implementation of an Object Tracker on a Reconfigurable System on ChipFelix Mühlbauer, Christophe Bobda. 230 [doi]