3801 search results - page 153 / 761 » An Approach to Modeling Software Safety |
117
click to vote
ICOST
2007
Springer
15 years 10 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
141
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
149
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
148
click to vote
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
116
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...