691 search results - page 5 / 139 » Automatically Proving Linearizability |
DAC
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
ENTCS
1998
13 years 9 months ago
1998
JAR
1998
13 years 9 months ago
1998
EUROPAR
2010
Springer
13 years 11 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...