17. RSP 2006:
Chania,
Crete,
Greece
17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece.
IEEE Computer Society 2006, ISBN 0-7695-2580-6 BibTeX
Introduction
Session 1:
Software Verification
Session 2:
Hardware Performance Estimation
Session 3:
Design Methodologies
- Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae:
A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design Environment.
63-68
Electronic Edition (link) BibTeX
- Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya:
Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach".
69-75
Electronic Edition (link) BibTeX
- P. J. Lobo, M. A. Freire, M. J. Garrido, C. Sanz, F. Pescador, D. Samper:
The Prototyping Methodology of a Data Receiver for Digital Audio Broadcasting (DAB) Networks.
76-81
Electronic Edition (link) BibTeX
- Thinh M. Le, X. H. Tian, B. L. Ho, J. Nankoo, Yong Lian:
System-on-Chip Design Methodology for a Statistical Coder.
82-90
Electronic Edition (link) BibTeX
Session 4:
Hardwared Verification
- Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
91-97
Electronic Edition (link) BibTeX
- Katell Morin-Allory, Laurent Fesquet, Dominique Borrione:
Asynchronous Assertion Monitors for multi-Clock Domain System Verification.
98-102
Electronic Edition (link) BibTeX
- Cécile Braunstein, Emmanuelle Encrenaz:
Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter.
103-109
Electronic Edition (link) BibTeX
- Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinrich Meyr:
Integrated Verification Approach during ADL-Driven Processor Design.
110-118
Electronic Edition (link) BibTeX
Session 5:
Software Prototyping Methodologies
- Daniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane Lavirotte, Michel Riveill:
Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources.
119-125
Electronic Edition (link) BibTeX
- Tianzhou Chen, Yin Yan, Hongjun Dai, Hu Wei:
An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF).
126-132
Electronic Edition (link) BibTeX
- Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Nicolas Museux, Frederic Pasquier:
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs.
133-139
Electronic Edition (link) BibTeX
- Ang Chen, Didier Buchs:
Generative Business Process Prototyping Framework.
140-148
Electronic Edition (link) BibTeX
Session 6:
Co-Design
- Graham Mathias, Kenneth B. Kent:
An Embedded Java Virtual Machine Using Network-on-Chip Design.
149-155
Electronic Edition (link) BibTeX
- Lobna Kriaa, Aimen Bouchhima, Wassim Youssef, Frédéric Pétrot, Anne-Marie Fouillart, Ahmed Amine Jerraya:
Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling.
156-162
Electronic Edition (link) BibTeX
- Melissa Vetromille, Luciano Ost, César A. M. Marcon, Carlos Eduardo Reif, Fabiano Hessel:
RTOS Scheduler Implementation in Hardware and Software for Real Time Applications.
163-168
Electronic Edition (link) BibTeX
- Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur:
Application-Level Memory Optimization for MPSoC.
169-178
Electronic Edition (link) BibTeX
Session 7:
Advanced Simulation Techniques
Session 8:
Hardwared Implementation
Copyright © Sat May 16 23:36:06 2009
by Michael Ley (ley@uni-trier.de)
