14. SRDS 1995: Bad Neuenahr, Germany

Opening Keynote Address

• Miroslaw Malek: Omniscience, Consensus, Autonomy: Three Tempting Roads to Responsiveness. 0- BibTeX xii-xiv

Experimental Reliability Evaluation

• Darrell D. E. Long, Andrew Muir, Richard A. Golding: A Longitudinal Survey of Internet Host Reliability. 2-9 BibTeX
• Diamantino Costa, Francisco Moreira, Henrique Madeira, Mário Zenha Rela, João Gabriel Silva: Experimental Evaluation of the Impact of Processor Faults on Parallel Applications. 10-19 BibTeX

Advanced Transaction Models

• Andry Rakotonirainy: A Correctness Criterion for Advanced Transcation Models. 22-30 BibTeX
• Gary D. Walborn, Panos K. Chrysanthis: Supporting Semantics-Based Transaction Processing in Mobile Database Applications. 31-40 BibTeX
• Rachid Guerraoui, Mikel Larrea, André Schiper: Non-Blocking Atomic Commitment with an Unreliable Failure Detector. 41-50 BibTeX

Distributed Cooperation

• Claus Aßmann, Werner E. Kluge: On the Design of Systems of Cooperating Functional Processes. 52-61 BibTeX
• Muthusamy Chelliah, Mustaque Ahamad: System Support for Robust Collaborative Applications. 62-71 BibTeX
• K. Tilly, I. Kiss, G. Román, T. Dobrowiecki, Annamária R. Várkonyi-Kóczy: A Method for the Construction and Interpretation of High-Level Models for Distributed Fault-Tolerant Systems. 72-81 BibTeX

Checkpointing and Communications

• Yi-Min Wang: Maximum and Minimum Consistent Global Checkpoints and their Applications. 86-95 BibTeX
• Gilbert Cabillic, Gilles Muller, Isabelle Puaut: The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. 96-105 BibTeX
• Uwe G. Wilhelm, André Schiper: A Hierarchy of Totally Ordered Multicasts. 106-115 BibTeX

Dependable Distributed Systems

• Christos T. Karamanolis, Jeff Magee: Configurable Highly Availbale Distributed Services. 118-127 BibTeX
• D. Venkaiah, Pankaj Jalote: An Integer Programming Approach for Assigning Votes in a Distributed System. 128-124 BibTeX
• Winfried E. Kühnhauser: A Paradigm for User-Defined Security Policies. 135-144 BibTeX

Distributed Real-Time Systems

• Chim-fu Yeung, Sheung-lun Hung: A New Deadlock Detection Algorithm for Distributed Real-Time Database Systems. 146-153 BibTeX
• Hermann Kopetz, Andreas Krüger, Dietmar Millinger, Anton V. Schedl: A Synchronization Strategy for a Time-Triggered Multicluster Real-Time System. 154-161 BibTeX
• F. Gaume, François Simon, Jean-Yves Le Gall: MUSE: A Message Passing Concurrent Computer. 162-170 BibTeX

Voting and Fault Masking

• Anish Arora, Sandeep S. Kulkarni: Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. 174-185 BibTeX
• Francisco V. Brasileiro, Paul D. Ezhilchelvan, Neil A. Speirs: TMR Processing without Explicit Clock Synchronization. 186-195 BibTeX
• Robert J. Hilderman, Howard J. Hamilton: Performance Analysis of a Regeneration-Based Dynamic Voting Algorithm. 196-205 BibTeX

Error Detection and Diagnosis

• Matti A. Hiltunen: Membership and System Diagnosis. 208-217 BibTeX
• Piero Maestrini, Paolo Santi: Self Diagnosis of Processor Arrays Using a Comparison Model. 218-228 BibTeX
• Sophie Chabridon, Erol Gelenbe: Failure Detection Algorithms for a Reliable Execution of Parallel Programs. 229-238 BibTeX