1163 search results - page 15 / 233 » Case Studies of Model Checking for Embedded System Designs |
141
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
114
click to vote
SAMOS
2007
Springer
15 years 8 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
115
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
120
Voted
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
110
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...