1. Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

   • Nikolaos S. Voros
   • Colin F. Snook
   • Konstantinos Masselos

   OriginalPaper 14 July 2005 Pages: 67 - 99

2. A Framework for Data Partitioning for C++ Data-Intensive Applications

   • A. Milidonis
   • G. Dimitroulakos
   • F. Catthoor

   OriginalPaper 14 July 2005 Pages: 101 - 121

3. Moduli Set Selection and Cost Estimation for RNS-Based FIR Filter and Filter Bank Design

   • Yong Liu
   • Edmund M.-K. Lai

   OriginalPaper 14 July 2005 Pages: 123 - 139

4. Fast Prototyping Methodology for Distributed and Heterogeneous Architectures: Application to Mpeg-4 Video Tools

   • Jean-François Nezan
   • Olivier Déforges
   • Mickaël Raulet

   OriginalPaper 14 July 2005 Pages: 141 - 154