Sciweavers

5 search results - page 1 / 1
» podc 1987
Sort
View
62
Voted
PODC
1987
ACM
15 years 7 months ago
Specifying Graceful Degradation in Distributed Systems
Maurice Herlihy, Jeannette M. Wing
57
Voted
PODC
1987
ACM
15 years 7 months ago
Quorum Consensus in Nested Transaction Systems
Kenneth J. Goldman, Nancy A. Lynch
59
Voted
PODC
1987
ACM
15 years 7 months ago
Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement
Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raym...
63
Voted
PODC
1987
ACM
15 years 7 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
Nancy A. Lynch, Mark R. Tuttle
124
Voted
PODC
2005
ACM
15 years 9 months ago
Simultaneous broadcast revisited
Simultaneous Broadcast protocols allow different parties to broadcast values in parallel while guaranteeing mutual independence of the broadcast values. In this work, we study va...
Alejandro Hevia, Daniele Micciancio