225 search results - page 37 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
107
Voted
JSS
2008
14 years 10 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
102
click to vote
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
112
click to vote
IWMM
2009
Springer
15 years 6 months ago
2009
Springer
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...
104
click to vote
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...