291 search results - page 25 / 59 » Liveness-Preserving Atomicity Abstraction |
115
click to vote
ISCA
1993
IEEE
15 years 3 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
113
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
128
click to vote
CAV
2009
Springer
15 years 3 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...