291 search results - page 10 / 59 » Liveness-Preserving Atomicity Abstraction |
107
click to vote
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The performance of consensus and atomic broadcast algorithms using failure detectors is often affected by a trade-off between the number of communication steps and the ...
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we present the mechanisms needed for Byzantine fault tolerant coordination of Web services atomic transactions. The mechanisms have been incorporated into ...
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
107
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
131
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...