828 search results - page 112 / 166 » Modularity for Timed and Hybrid Systems |
123
click to vote
USS
2008
15 years 6 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...
132
click to vote
JIPS
2006
15 years 3 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
124
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Museums attract increasing numbers of online visitors along with their conventional physical visitors. This paper presents a study of a mixed reality system that allows web, virtu...
132
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
136
Voted
ERSA
2004
15 years 5 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...