14. SRDS 1995: Bad Neuenahr, Germany

14th Symposium on Reliable Distributed Systems, September 13-15, 1995, Bad Neuenahr, Germany, Proceedings. IEEE Computer Society, 1995, ISBN 0-8186-7153-X

Opening Keynote Address

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

Experimental Reliability Evaluation

Darrell D. E. Long, Andrew Muir, Richard A. Golding: A Longitudinal Survey of Internet Host Reliability. 2-9
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

Advanced Transaction Models

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

Distributed Cooperation

Claus Aßmann, Werner E. Kluge: On the Design of Systems of Cooperating Functional Processes. 52-61
Muthusamy Chelliah, Mustaque Ahamad: System Support for Robust Collaborative Applications. 62-71
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

Checkpointing and Communications

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

Dependable Distributed Systems

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

Distributed Real-Time Systems

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

Voting and Fault Masking

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

Error Detection and Diagnosis

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

Last update Tue May 21 18:05:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page