598 search results - page 60 / 120 » Note on parallel universes |
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper? provides a description of our Network Time Interface M-Module NTI supporting high-accuracy external clock synchronization by hardware. The NTI is built around our custo...
HPDC
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper a model for scheduling in wide-area systems is described. The model is federated and utilizes a collection of local site schedulers that control the use of their res...