Searching for "Atomic Snapshots of Shared Memory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

Atomic Snapshots of Shared Memory
by Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt — 1993
…Atomic Snapshots of Shared Memory YEHUDA AFEK Tel-Aviv University, Tel-Aviv, Israel and AT&T Bell…
Cited by 118 (33 self) – Add To MetaCart

Round-by-round fault detectors: Unifying synchrony and asynchrony
by Eli Gafni — 1998 — In Proc of the 17th ACM Symp. Principles of Distributed Computing (PODC
… implements f resilient Atomic-Snapshot shared-memory is a simple corollary of [4]. Notice…
Cited by 20 (3 self) – Add To MetaCart

Wait-free n-set consensus when inputs are restricted
by Zvi Avidor — 2002 — In Proceedings of the thirty-third Annual ACM symposium on Distributed Computing, Lecture Notes in Computer Science
… a finite number of steps. 2.2 Immediate Snapshot Memory Atomic-snapshot shared memory supports a…
Cited by 1 (0 self) – Add To MetaCart

Distributed Computing: A Glimmer of a Theory
by Eli Gafni — 1998 — in Handbook of Computer Science
… memory and atomic-snapshot shared-memory on the other. This instance of model equivalence allowed…
Cited by 1 (0 self) – Add To MetaCart

A Note on Set Agreement with Omission Failures
by Rachid Guerraoui, Petr Kouznetsov, Bastian Pochon, Contact Petr Kouznetsov — Electronic Notes in Theoretical Computing Science
… round-by-round failure detector atomic snapshot shared memory model with at most k crash failures…
Cited by 2 (1 self) – Add To MetaCart

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps
by Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch — 1996 — Formal Description Techniques IX: Theory, Applications, and Tools (FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification
…, Lynch, and Shavit (1992), of the original algorithm. It uses atomic snapshots of the shared memory…
Cited by 7 (4 self) – Add To MetaCart

Computing in Anonymous Asynchronous Shared Memory
by Alla Gorbach, Nancy A. Lynch, Michael J. Fischer, Michael J. Fischer, Shlomo Moran, Steven Rudich, Gadi Taubenfeld The — 1989
… Styer and Gary L. Peterson. Tight bounds for shared memory symmetric mutual exclusion problems. In Piotr…
Add To MetaCart

Showing 1 through 8.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB