Sciweavers

19986 search results - page 205 / 3998
» On Designing Software Architectures
Sort
View
DAC
2006
ACM
14 years 5 months ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan
RTAS
2009
IEEE
14 years 5 months ago
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...
ICMCS
2000
IEEE
95views Multimedia» more  ICMCS 2000»
14 years 3 months ago
An Extensible Set-Top-Box Architecture for Interactive and Broadcast Services Offering Sophisticated User Guidance
Currently available Set-Top-Boxes (STBs) are mainly used for digital TV reception. The User Interface (UI) and the UI dialog of such a device usually focus on its technological as...
Frank Lonczewski, Rudolf Jaeger