4693 search results - page 418 / 939 » Verifying Hybrid Systems |
172
click to vote
USS
2008
15 years 9 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...
171
click to vote
JIPS
2006
15 years 6 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...
142
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
175
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
159
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...