| 2004 | 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 28-30 June 2004, Geneva, Switzerland |
| 2004 | A Case Study on Rapid Prototyping of Hardware Systems: The Effect of CAD Tool Capabilities, Design Flows, and Design Styles. Apostolos Dollas, Kyprianos Papademetriou, Euripides Sotiriades, Dimitrios Theodoropoulos, Iosif Koidis, George Vernardos |
| 2004 | ASET: A Formal Model for System Emulation and Verification. Swapan Bhattacharyya, Joydeep Bhattacharyya, Adrish Ray Chaudhuri |
| 2004 | Abstract RTOS Modeling for Embedded Systems. Fabiano Hessel, Vitor M. da Rosa, Igor M. Reis, Ricardo Planner, César A. M. Marcon, Altamiro Amadeu Susin |
| 2004 | An Efficient Architecture for the Implementation of Message Passing Programming Model on Massive Multiprocessor. Ferid Gharsalli, Amer Baghdadi, Marius Bonaciu, Giedrius Majauskas, Wander O. Cesário, Ahmed Amine Jerraya |
| 2004 | Approaching Interoperability from the Bottom up: A Lattice Structure for the Object-Oriented Method for Interoperability (OOMI). George M. Lawler, Paul E. Young |
| 2004 | Architecture Exploration of a Large Scale System. Sylvain Alliot, Ed F. Deprettere |
| 2004 | Automated Hardware Synthesis from Formal Specification Using SAT Solvers. David J. Greaves |
| 2004 | Automatic Building of Executable Models from Abstract SoC Architectures Made of Heterogeneous Subsystems. Adriano Sarmento, Wander O. Cesário, Ahmed Amine Jerraya |
| 2004 | Automatic Generation of Virtual Prototypes. Pavle Belanovic, Martin Holzer, Bastian Knerr, Markus Rupp, Guillaume Sauzon |
| 2004 | Automatic Generation of a Simulation Compiler by a HW/SW Co-Design System. Hideaki Yanagisawa, Minoru Uehara, Hideki Mori |
| 2004 | Characterizing Power Consumption and Delay of Functional/Library Components for Hardware/Software Co-Design of Embedded Systems. Amjad Mohsen, Richard Hofmann |
| 2004 | Co-Validation Environment for Memory Card. Chankin Park, Seungmo Cho, Jaewook Lee, Hyungjun Park |
| 2004 | Domain Driven Software Development -- A World of Transformations. Shane Sendall |
| 2004 | Formal Specification and Verification of Embedded System with Shared Resources. Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang |
| 2004 | Generation of Distributed Programs in Their Target Execution Environment. Frédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon |
| 2004 | Hardware-Assisted Simulation and Evaluation of IP Cores Using FPGA-Based Rapid Prototyping Boards. Rawat Siripokarpirom, Friedrich Mayer-Lindenberg |
| 2004 | High Level Synthesis Methodology from C to FPGA Used for a Network Protocol Communication. M. Diaby, Matthieu Tuna, Jean Lou Desbarbieux, Franck Wajsbürt |
| 2004 | Implementation of a Channel Equalizer for OFDM Wireless LANs. Moisès Serra, Pere Martí-Puig, Jordi Carrabina |
| 2004 | Improvement of Compiled Instruction Set Simulator by Increasing Flexibility a. Moo-Kyoung Chung, Chong-Min Kyung |
| 2004 | Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
| 2004 | Multi-User FPGA Co-Simulation over TCP/IP. Daniel Denning, James Irvine, Derek Stark, Malachy Devlin |
| 2004 | Network Interface Generation for MPSOC: From Communication Service Requirements to RTL Implementation. Arnaud Grasset, Frédéric Rousseau, Ahmed Amine Jerraya |
| 2004 | Prototyping with a Bio-Inspired Reconfigurable Chip. Yann Thoma, Eduardo Sanchez, Daniel Roggen, Carl Hetherington, Juan Manuel Moreno |
| 2004 | Rapid Prototyping and Performance Analysis for CDMA2000. M. De Nobili, Robert W. Stewart, Graham C. Freeland |
| 2004 | Rapid Prototyping of a Co-Designed Java Virtual Machine. Kenneth B. Kent, Hejun Ma, Micaela Serra |
| 2004 | Rapid Prototyping of an Integrated Testing and Debugging Unit. Ralf Ludewig, Thomas Hollstein, Falko Schütz, Manfred Glesner |
| 2004 | Rapid Software Prototyping Using Visual Language Techniques. Kang Zhang, Guang-Lei Song, Jun Kong |
| 2004 | Real Time Prototyping of Broadband Wireless LAN Systems. Maryse Wouters, Peter Van Wesemael, Roeland Vandebriel, Andy Dewilde, Michael Libois |
| 2004 | Self-Reconfiguration of Communication Interfaces. André Meisel, Markus Visarius, Wolfram Hardt, Stefan Ihmor |
| 2004 | State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol. Ying Chen, Dennis Abts, David J. Lilja |
| 2004 | SystemC Model of a MPEG-2 DVB-T Bit-Rate Measurement Architecture for FPGA Implementation. Camel Tanougast, Yves Berviller, Christian Mannino, Hassan Rabah, Michael Janiaut, Serge Weber |
| 2004 | TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. Doron Drusinsky, Man-tak Shing |
| 2004 | Towards Formal Verification on the System Level. Rolf Drechsler |
| 2004 | Transaction-Level Prototyping of a UMTS Outer-Modem for System-on-Chip Validation and Architecture Exploration. Paolo Martinelli, Armin Wellig, Julien Zory |
| 2004 | Transmission Systems Prototyping Based on Stateflow/Simulink Models. Nikolaos Papandreou, Maria Varsamou, Theodore Antonakopoulos |