| 2005 | Simulation of Resolution of CS Problem for Multiple Common Variables in Multiprocessor Environment. | Ghulam Qader, M. Younus Javed |
| 2005 | Systematic Design Flow for Fast Hardware/Software Prototype Generation from Bus Functional Model for MPSoC. | Ivan Petkov, Paul Amblard, Marin Hristov |
| 2005 | A C/C++-Based Functional Verification Framework Using the SystemC Verification Library. | Sanggyu Park, Soo-Ik Chae |
| 2005 | Prototyping Globally Asynchronous Locally Synchronous Circuits on Commercial Synchronous FPGAs. | Mehrdad Najibi, Kamran Saleh, Mohsen Naderi, Hossein Pedram, Mehdi Sedighi |
| 2005 | Models for Embedded Application Mapping onto NoCs: Timing Analysis. | Csar A. M. Marcon, Mrcio Eduardo Kreutz, Altamiro Amadeu Susin, Ney Laert Vilar Calazans |
| 2005 | A Test Language for CO-OPN Specifications. | Levi Lucio, Luis Pedro, Didier Buchs |
| 2005 | Performance Evaluation of a NoC-Based Design for MC-CDMA Telecommunications Using NS-2. | Romain Lemaire, Fabien Clermidy, Yves Durand, Didier Lattard, Ahmed Amine Jerraya |
| 2005 | Leveraging Model Representations for System Level Design Tools. | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu |
| 2005 | Straight Method for Reallocation of Complex Cores by Dynamic Reconfiguration in Virtex II FPGAs. | Yana Esteves Krasteva, Ana B. Jimeno, Eduardo de la Torre, Teresa Riesgo |
| 2005 | KoVer: A Sophisticated Residue Arithmetic Core Generator. | Nikolaos Kostaras, Haridimos T. Vergos |
| 2005 | SyCE: An Integrated Environment for System Design in SystemC. | Rolf Drechsler, Grschwin Fey, Christian Genz, Daniel Groe |
| 2005 | On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. | Chadlia Jerad, Kamel Barkaoui |
| 2005 | A Rapid System Prototyping Platform for Error Control Coding in Optical CDMA Networks. | Martin Irman, Jan Bajcsy |
| 2005 | Modeling and Prototyping of Communication Systems Using Java: A Case Study. | Leandro Soares Indrusiak, Romualdo Begale Prudencio, Manfred Glesner |
| 2005 | Synthesis of Communication Structures and Protocols in Distributed Embedded Systems. | Stefan Ihmor, Tobias Loke, Wolfram Hardt |
| 2005 | Design Exploration and HW/SW Rapid Prototyping for Real-Time System Design. | Sylvain Huet, Emmanuel Casseau, Olivier Pasquier |
| 2005 | Porting DSP Applications across Design Tools Using the Dataflow Interchange Format. | Chia-Jui Hsu, Shuvra S. Bhattacharyya |
| 2005 | Thread-Level Parallel Execution in Co-Designed Virtual Machines. | Thomas S. Hall, Kenneth B. Kent |
| 2005 | Automatic Generation of Component Wrappers by Composition of Hardware Library Elements Starting from Communication Service Specification. | Arnaud Grasset, Frdric Rousseau, Ahmed Amine Jerraya |
| 2005 | Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
| 2005 | The Ordering of Events in a Prototyping Platform. | Silvio Dragone, Clemens Lombriser |
| 2005 | An Approach for Functional Decomposition Applied to State-Based Designs. | Luke Demoracski, Dimiter R. Avresky |
| 2005 | Enabling a Real-Time Solution for Neuron Detection with Reconfigurable Hardware. | Ben Cordes, Jennifer G. Dy, Miriam Leeser, James Goebel |
| 2005 | Performance Improvement of Multiprocessor Simulation by Optimizing Synchronization a Communication. | Moo-Kyoung Chung, Heejun Shim, Chong-Min Kyung |
| 2005 | Communication Primitives Driven Hardware Design and Test Methodology Applied on Complex Video Applications. | Adrian Chirila-Rus, Kristof Denolf, Bart Vanhoof, Paul R. Schumacher, Kees A. Vissers |