Computation orchestration: A basis for wide-area computing (2006)

Cached

Download Links

by Jayadev Misra
Venue:Journal of Software and Systems Modeling
Citations:94 - 9 self

Active Bibliography

Contents Computation Orchestration: A Basis for Wide-Area Computing – Jayadev Misra
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
553 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
893 Memory Coherence in Shared Virtual Memory Systems – Kai Li, Paul Hudak - 1989
557 Practical Byzantine Fault Tolerance – Miguel Castro, Barbara Loskov
908 Unreliable Failure Detectors for Reliable Distributed Systems – Tushar Deepak Chandra, Sam Toueg - 1996
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
956 Oceanstore: An architecture for global-scale persistent storage – John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Zhao - 2000