3909 search results - page 427 / 782 » Extreme Model Checking |
120
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
121
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
151
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
164
click to vote
ISCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
120
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...