10. SRDS 1991: Pisa, Italy

Session 1: Checkpointing & Logging Algorithms

• Kai Li, Jeffrey F. Naughton, James S. Plank: Checkpointing Multicomputer Applications. 2-11 BibTeX
• Flaviu Cristian, Farnam Jahanian: A Timestamp-Based Checkpointing Protocol for Long-Lived Distributed Computations. 12-20 BibTeX
• David F. Bacon: File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. 21-30 BibTeX

Session 2: Real Time

• Paul Chew, Keith Marzullo: Masking Failures of Multidimensional Sensors. 32-41 BibTeX
• D. Couvet, Gerard Florin, Stéphane Natkin: A Statistical Clock Synchronization Algorithm for Anisotropic Networks. 42-51 BibTeX
• Werner Schütz: On the Testability of Distributed Real-Time Systems. 52-61 BibTeX

Session 3: Backward Recovery Schemes

• Andy Lowry, James R. Russell, Arthur P. Goldberg: Optimistic Failure Recovery for Very Large Networks. 66-75 BibTeX
• K. H. Kim, J. H. You: Efficient Communication of Commitment-Dependency Information in the Programmer-Transparent Coordination (PTC) Scheme for Cooperative Recovery. 76-85 BibTeX
• Lorenzo Strigini, Felicita Di Giandomenico: Flexible Schemes for Application-Level Fault Tolerance. 86-95 BibTeX

Session 4: Replication & Parallelism

• Michael H. Olsen, Ed Oskiewicz, John P. Warne: A Model for Interface Groups. 98-107 BibTeX
• Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. 108-117 BibTeX
• Luiz A. Laranjeira, Miroslaw Malek, Roy M. Jenevein: On Tolerating Faults in Naturally Redundant Algorithms. 118-127 BibTeX

Session 5: Dependability Modelling

• Karama Kanoun, David Powell: Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. 130-141 BibTeX
• Heinz Kantz: Flexible Handling of Diverse Dependability Requirements in MARS. 142-151 BibTeX
• Juan A. Carrasco: Efficient Transient Simulation of Failure/Repair Markovian Models. 152-161 BibTeX

Session 6: Work in Progress

Session 7: Dependability Assessment

• Kevin H. Prodromides, William H. Sanders: Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. 166-176 BibTeX
• Darrell D. E. Long, John L. Carroll, C. J. Park: A Study of the Reliablility of Internet Sites. 177-186 BibTeX

Session 8: Agreement

• Tony P. Ng: Ordered Broadcasts for Large Applications. 188-197 BibTeX
• Thomas Becker: Keeping Processes Under Surveillance. 198-205 BibTeX

Session 9: Garbage Collection

• Marc Shapiro: A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol. 208-217 BibTeX
• Luigi V. Mancini, Vittoria Rotella, Simonetta Venosa: Copying Garbage Collection for Distributed Object Stores. 218-227 BibTeX