7271 search results - page 116 / 1455 » Fault-Tolerant Distributed Simulation |
SPAA
2003
ACM
14 years 2 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
ICPPW
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes the Multicast Shared Tree Protocol MSTP that has been designed to support the delivery of multicast packets in a mobile ad hoc network. MSTP uses a shared tre...
HPDC
1996
IEEE
14 years 1 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
ICDCS
1996
IEEE
14 years 1 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...