18. RSP 2007: Porto Alegre, RS, Brazil

18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil. IEEE Computer Society 2007, ISBN 978-0-7695-2834-2 BibTeX

Session 1: Co-design

Andre Silva, Guilherme Esmeraldo, Edna Barros, Pablo Viana:
Cache-Analyzer: Design Space Evaluation of Configurable-Caches in a Single-Pass. 3-9
Electronic Edition (link) BibTeX
Kenneth B. Kent, Beatriz C. Iaderoza, Micaela Serra:
Codesign of a Computationally Intensive Problem in GF(3). 10-16
Electronic Edition (link) BibTeX
Fernando Rincón, Jesús Barba, Francisco Moya, Felix Jesús Villanueva, David Villa, Julio Dondo, Juan Carlos López:
Unified Inter-Communication Architecture for Systems-on-Chip. 17-26
Electronic Edition (link) BibTeX

Session 2: HW Performance

Luis Carlos Caruso, Guilherme Guindani, Hugo Schmitt, Ney Calazans, Fernando Moraes:
SPP-NIDS - A Sea of Processors Platform for Network Intrusion Detection Systems. 27-33
Electronic Edition (link) BibTeX
Ewerson Carvalho, Ney Calazans, Fernando Moraes:
Heuristics for Dynamic Task Mapping in NoC-based Heterogeneous MPSoCs. 34-40
Electronic Edition (link) BibTeX
Ioannis Mavroidis, Ioannis Papaefstathiou, Dionisios N. Pnevmatikatos:
Hardware Implementation of 2-Opt Local Search Algorithm for the Traveling Salesman Problem. 41-47
Electronic Edition (link) BibTeX
Romain Kamdem:
Hardware/Firmware Verification of Graphic IP. 48-56
Electronic Edition (link) BibTeX

Session 3: Short Papers FPGA - Applications

Everton Carara, Aline Mello, Fernando Moraes:
Communication Models in Networks-on-Chip. 57-60
Electronic Edition (link) BibTeX
Roman Koch, Thilo Pionteck, Carsten Albrecht, Erik Maehle:
A Lightweight Framework for Runtime Reconfigurable System Prototyping. 61-64
Electronic Edition (link) BibTeX
V. Mariatos, K. Adaos, George Alexiou:
Design and Implementation of a Reconfigurable, Embedded Real-Time Face Detection System. 65-68
Electronic Edition (link) BibTeX
Júlio C. B. de Mattos, Antonio Carlos Schneider Beck, Luigi Carro:
Object-Oriented Reconfiguration. 69-74
Electronic Edition (link) BibTeX

Session 4: Formal Specification

Juliana de Melo Bezerra, Celso Massaki Hirata:
A Semantics for UML-RT using n-calculus. 75-82
Electronic Edition (link) BibTeX
Doron Drusinsky, Man-tak Shing:
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. 82-88
Electronic Edition (link) BibTeX
Fabrice Kordon, Jean-Baptiste Voron:
Rapid Prototyping of Intrusion Detection Systems. 89-98
Electronic Edition (link) BibTeX

Session 5: Prototyping and Development Methodologies and Tools

Rene Beckert, Thomas Fuchs, Steffen Rülke, Wolfram Hardt:
A Tailored Design Partitioning Method for Hardware Emulation. 99-105
Electronic Edition (link) BibTeX
Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon:
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. 106-112
Electronic Edition (link) BibTeX
Katalin Popovici, Xavier Guerin, Frédéric Rousseau, Pier Stanislao Paolucci, Ahmed Amine Jerraya:
Efficient Software Development Platforms for Multimedia Applications at Different Abstraction Levels. 113-122
Electronic Edition (link) BibTeX

Session 6: Testing

Fernando Kronbauer, Alexandro Baldassin, Bruno Albertini, Paulo Centoducatte, Sandro Rigo, Guido Araujo, Rodolfo Azevedo:
A Flexible Platform Framework for Rapid Transactional Memory Systems Prototyping and Evaluation. 123-129
Electronic Edition (link) BibTeX
Philipp Graf, Klaus D. Müller-Glaser, Clemens Reichmann:
Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models. 130-138
Electronic Edition (link) BibTeX

Session 7: Short Papers - HW Performance, Co-Design and Tool

Gilles Sassatelli, Nicolas Saint-Jean, Cristiane R. Woszezenki, Ismael Grehs, Fernando Gehm Moraes:
Architectural Issues in Homogeneous NoC-Based MPSoC. 139-142
Electronic Edition (link) BibTeX
Zhonghai Lu, Jonas Sicking, Ingo Sander, Axel Jantsch:
Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures. 143-149
Electronic Edition (link) BibTeX
Himanshu Arora, Nikolaus Klemmer, Thomas Jochum, Patrick Wolf:
Design Methodology and CAD Tools for Prototyping Delta-Sigma Fractional-N Frequency Synthesizers. 150-156
Electronic Edition (link) BibTeX

Session 8: Short Papers - Formal Specification

Harald Obereder, Markus Pfaff:
Behavioral synthesis of property specification language (PSL) assertions. 157-160
Electronic Edition (link) BibTeX
Lyes Benalycherif, Anthony McIsaac, Neil Dunlop:
Structured Approach to Property Specification and Verification of HW IP. 161-166
Electronic Edition (link) BibTeX

Session 9: Applications

X. H. Tian, Thinh M. Le, B. L. Ho, Yong Lian:
A CABAC Encoder Design of H.264/AVC with RDO Support. 167-173
Electronic Edition (link) BibTeX
Vagner S. Rosa, Wagston T. Staehler, Arnaldo Azevedo, Bruno Zatt, Roger Endrigo Carvalho Porto, Luciano Volcan Agostini, Sergio Bampi, Altamiro Amadeu Susin:
FPGA Prototyping Strategy for a H.264/AVC Video Decoder. 174-180
Electronic Edition (link) BibTeX
David Matschulat, César A. M. Marcon, Fabiano Hessel:
ER-EDF: A QoS Scheduler for Real-Time Embedded Systems. 181-188
Electronic Edition (link) BibTeX

Session 10: FPGA and SW Algorithms

Anupam Chattopadhyay, Z. Rakosi, Kingshuk Karuri, David Kammler, Rainer Leupers, Gerd Ascheid, Heinrich Meyr:
Pre- and Post-Fabrication Architecture Exploration for Partially Reconfigurable VLIW Processors. 189-194
Electronic Edition (link) BibTeX
Youngchul Cho, Nacer-Eddine Zergainoh, Kiyoung Choi, Ahmed Amine Jerraya:
Low Runtime-Overhead Software Synthesis for Communicating Concurrent Processes. 195-201
Electronic Edition (link) BibTeX
Chanik Park, Wonmoon Cheon, Yangsup Lee, Myoung-Soo Jung, Wonhee Cho, Hanbin Yoon:
A Re-configurable FTL (Flash Translation Layer) Architecture for NAND Flash based Applications. 202-208
Electronic Edition (link) BibTeX