241 search results - page 36 / 49 » Self-stabilizing device drivers |
190
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
121
click to vote
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
AVSS
2009
IEEE
15 years 6 months ago
2009
IEEE
—Fog is a local meteorological phenomena which drastically reduces the visibility range. Fog detection and visibility range estimation are critical tasks for road operators who n...
122
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...