|
|
eCommons@Cornell >
Browsing by Author Marzullo, Keith
Showing results 8 to 27 of 27
| Preview | Issue Date | Title | Author(s) | | 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. |
| Feb-1990 | Tools for Constructing Distributed Reactive Systems | Marzullo, Keith; Wood, Mark D. |
| Feb-1991 | Tools for Constructing Distributive Reactive Systems | Marzullo, Keith; Wood, Mark D. |
| Jul-1990 | Tools for Distributed Application Management | Birman, Kenneth P.; Cooper, Robert; Marzullo, Keith; Wood, Mark D. |
| Jan-1991 | Tools for Monitoring and Controlling Distributed Applications. | Marzullo, Keith; Wood, Mark D. |
| Dec-1989 | Trade-offs Between Replication and Availability in Distributed Databases | Shah, Amitabh; Marzullo, Keith |
| Oct-1992 | Tradeoffs in Implementing Primary-Backup Protocols | Budhiraja, Navin; Marzullo, Keith |
| Apr-1992 | Using Consistent Subcuts for Detecting Stable Properties | Marzullo, Keith; Sabel, Laura S. |
Showing results 8 to 27 of 27
|
