Search
Now showing items 1-8 of 8
Early-Delivery Dynamic Atomic Broadcast
(2002-04)
Hybrid I/O Automata*
(2003-01)
Hybrid systems are systems that exhibit a combination of discrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world components, whose ...
The IOA Simulator
(2002-07)
RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks
(2003-03)
Future civilian rescue and military operations will depend on a complex system of communicating devices that can operate in highly dynamic environments. In order to present a consistent view of a complex world, these devices ...
QoS Preserving Totally Ordered Multicast
(2000-01)
This paper studies the Quality of Service (QoS) guarantees of totally ordered multicast algorithms. The paper shows that totally ordered multicast can coexist with guaranteed predictable delays in certain network models. ...