10. SRDS 1991: Pisa, Italy

Session 1: Checkpointing & Logging Algorithms

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

Session 2: Real Time

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

Session 3: Backward Recovery Schemes

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

Session 4: Replication & Parallelism

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

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
• Heinz Kantz: Flexible Handling of Diverse Dependability Requirements in MARS. 142-151
• Juan A. Carrasco: Efficient Transient Simulation of Failure/Repair Markovian Models. 152-161

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
• Darrell D. E. Long, John L. Carroll, C. J. Park: A Study of the Reliablility of Internet Sites. 177-186

Session 8: Agreement

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

Session 9: Garbage Collection

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