Sciweavers

23 search results - page 3 / 5
» Genuine Atomic Multicast
Sort
View
ICSE
1992
IEEE-ACM
15 years 1 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...
85
Voted
PODC
2000
ACM
15 years 1 months ago
Efficient atomic broadcast using deterministic merge
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
Marcos Kawazoe Aguilera, Robert E. Strom
RTAS
1996
IEEE
15 years 1 months ago
RTCAST: lightweight multicast for real-time process groups
We propose a lightweight fault-tolerant multicast and membership service for real-time process groups which may exchange periodic and aperiodic messages. The service supports boun...
Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian...
83
Voted
DAGSTUHL
1994
14 years 10 months ago
A High Performance Totally Ordered Multicast Protocol
This paper presents the Reliable Multicast Protocol (RMP). RMP provides a totally ordered, reliable, atomic multicast service on top of an unreliable multicast datagram service su...
Brian Whetten, Todd Montgomery, Simon M. Kaplan
SRDS
2000
IEEE
15 years 1 months ago
Using Multicast Communication to Reduce Deadlock in Replicated Databases
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi