483 search results - page 67 / 97 » Fault Management in P2P-MPI |
SPIN
2000
Springer
14 years 6 days ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
RTAS
1995
IEEE
14 years 5 days ago
1995
IEEE
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
RE
2006
Springer
13 years 8 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
CONCURRENCY
2002
13 years 8 months ago
2002
This paper presents the design of a novel system architecture, Virtual Service Grid (VSG), for delivering high performance network services. The VSG is based on the concept of the...
SIMULATION
2002
13 years 8 months ago
2002
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...