Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language Nikolaos S. VorosColin F. SnookKonstantinos Masselos OriginalPaper 14 July 2005 Pages: 67 - 99
A Framework for Data Partitioning for C++ Data-Intensive Applications A. MilidonisG. DimitroulakosF. Catthoor OriginalPaper 14 July 2005 Pages: 101 - 121
Moduli Set Selection and Cost Estimation for RNS-Based FIR Filter and Filter Bank Design Yong LiuEdmund M.-K. Lai OriginalPaper 14 July 2005 Pages: 123 - 139
Fast Prototyping Methodology for Distributed and Heterogeneous Architectures: Application to Mpeg-4 Video Tools Jean-François NezanOlivier DéforgesMickaël Raulet OriginalPaper 14 July 2005 Pages: 141 - 154