|
|
eCommons@Cornell >
Browsing by Author Marzullo, Keith
Showing results 1 to 20 of 27
| Preview | Issue Date | Title | Author(s) | | May-1989 | Concurrency Control for Transactions with Priorities | Marzullo, Keith |
| Apr-1991 | Consistent Detection of Global Predicates | Cooper, Robert; Marzullo, Keith |
| Nov-1989 | Deceit: A Flexible Distributed File System | Siegel, Alexander; Birman, Kenneth P.; Marzullo, Keith |
| Jul-1991 | Derivation of Sequential, Real-Time, Process-Control Programs | Marzullo, Keith; Schneider, Fred B.; Budhiraja, Navin |
| Feb-1995 | Election Vs. Consensus in Asynchronous Systems | Sabel, Laura S.; Marzullo, Keith |
| Jan-1990 | Harary Networks: Connectivity for Highly Available Real-Time Distributed Databases | Shah, Amitabh; Marzullo, Keith |
| Mar-1990 | ISIS and META Projects: Progress Report | Birman, Kenneth P.; Cooper, Robert; Marzullo, Keith |
| Sep-1990 | Making Real-time Reactive Systems Reliable | Marzullo, Keith; Wood, Mark D. |
| Jul-1990 | MTP: An Atomic Multicast Transport Protocol | Freier, Alan O.; Marzullo, Keith |
| Mar-1999 | NAP: Practical Fault-Tolerance for Itinerant Computations | Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii |
| Nov-1998 | NAP: Practical Fault-Tolerance for Itinerant Computations | Johansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii |
| Oct-1994 | Optimal Message Logging Protocols \\ (Preliminary Version) | Alvisi, Lorenzo; Marzullo, Keith |
| Aug-1992 | Optimal Primary-Backup Protocols | Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam |
| Jan-1992 | Primary-Backup Protocols: Lower Bounds and Optimal Implementations | Budhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam |
| Sep-1991 | Putting Time into Proof Outlines | Scheider, Fred B.; Bard, Bloom; Marzullo, Keith |
| Sep-1991 | Putting Time into Proof Outlines | Schneider, Fred B.; Bloom, Bard; Marzullo, Keith |
| Apr-1994 | Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol | Marzullo, Keith; Schneider, Fred B.; Dehn, Jon |
| May-1989 | The Role of Order in Distributed Programs | Marzullo, Keith; Birman, Kenneth P. |
| Mar-1994 | Simulating Fail-Stop in Asynchronous Distributed Systems | Sabel, Laura S.; Marzullo, Keith |
| Dec-1987 | Supplying High Availability with a Standard Network File System | Marzullo, Keith; Schmuck, Frank B. |
Showing results 1 to 20 of 27
|
