Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818643102

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using atomic broadcast to implement a posteriori agreement for clock synchronization

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393467 ◽

2002 ◽

Author(s):

L. Rodrigues ◽

P. Verissimo ◽

A. Casimiro

Keyword(s):

Clock Synchronization ◽

A Posteriori ◽

Atomic Broadcast

Download Full-text

A secure two phase locking protocol

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393466 ◽

2002 ◽

Author(s):

R. David ◽

S. Son

Keyword(s):

Phase Locking ◽

Two Phase ◽

Locking Protocol

Download Full-text

Processor group membership protocols: specification, design and implementation

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393478 ◽

2002 ◽

Author(s):

F. Jahanian ◽

S. Fakhouri ◽

R. Rajkumar

Keyword(s):

Group Membership ◽

Design And Implementation

Download Full-text

Using logging and asynchronous checkpointing to implement recoverable distributed shared memory

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393473 ◽

2002 ◽

Author(s):

G.C. Richard ◽

M. Singhal

Keyword(s):

Shared Memory ◽

Distributed Shared Memory

Download Full-text

Bayesian analysis for fault location in homogeneous distributed systems

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393474 ◽

2002 ◽

Author(s):

Y.L.C. Chang ◽

L.C. Lander ◽

H.-S. Lu ◽

M.T. Wells

Keyword(s):

Distributed Systems ◽

Bayesian Analysis ◽

Download Full-text

APRICOTS a prototype implementation of a ConTract system: management of the control flow and the communication system

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393477 ◽

2002 ◽

Author(s):

F. Schwenkreis

Keyword(s):

Communication System ◽

Control Flow ◽

System Management ◽

Prototype Implementation

Download Full-text

A compositional proof theory for fault tolerant real-time distributed systems

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393475 ◽

2002 ◽

Author(s):

H. Schepers ◽

R. Gerth

Keyword(s):

Distributed Systems ◽

Real Time ◽

Proof Theory ◽

Download Full-text

An O(1) quorum consensus protocol tailored for the client/server architecture

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393469 ◽

2002 ◽

Author(s):

K. Soufi ◽

G. Belford

Keyword(s):

Consensus Protocol ◽

Client Server ◽

Quorum Consensus ◽

Server Architecture ◽

Client Server Architecture

Download Full-text

An approach to constructing modular fault-tolerant protocols

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393468 ◽

2002 ◽

Author(s):

M. Hiltunen ◽

R. Schlichting

Keyword(s):

Download Full-text

Some remarks on protecting weak keys and poorly-chosen secrets from guessing attacks

Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1993.393465 ◽

2002 ◽

Author(s):

G. Tsudik ◽

E. Herreweghen

Keyword(s):

Download Full-text