291 search results - page 14 / 59 » Liveness-Preserving Atomicity Abstraction |
194
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
ICA3PP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when dat...
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
IPMI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A new method is introduced for estimating single-trial magnetoor electro-encephalography (M/EEG), based on a non-linear fit of timefrequency atoms. The method can be appl...