Sciweavers

9 search results - page 1 / 2
» rsp 1999
Sort
View
RSP
1999
IEEE
101views Control Systems» more  RSP 1999»
14 years 3 months ago
Model Based Multi-Level Prototyping
Ansgar Bredenfeld, Jörg Wilberg
RSP
1999
IEEE
116views Control Systems» more  RSP 1999»
14 years 3 months ago
Performance Analysis of a RTOS by Emulation of an Embedded System
This paper analyzes the performance of two different real-time operating systems. Therefore, we used a real benchmark embedded system design with fast external reaction times of a...
Karlheinz Weiß, Thorsten Steckstor, Wolfgang...
RSP
1999
IEEE
131views Control Systems» more  RSP 1999»
14 years 3 months ago
Fast Prototyping: A Case Study - The JPEG Compression Algorithm
A platform and methodology for real time systems on chip prototyping is presented. The JPEG case study is presented as an example of prototyping. The proposed methodology overcome...
Sébastien Pillement, Lionel Torres, Michel ...
RSP
1999
IEEE
14 years 3 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters