118 search results - page 8 / 24 » Word-Level Sequential Memory Abstraction for Model Checking |
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inļ¬...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
ESOP
2011
Springer
14 years 29 days ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on AstrĀ“ee, we focus on embedded critical programs ...
ASIAN
2004
Springer
15 years 2 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaļ¬op computers with millions of hardware threads and with a shared memory is deļ¬ning the memory model [Lam79,...
111
click to vote
PLDI
2012
ACM
12 years 12 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...