1782 search results - page 153 / 357 » Learning in Parallel Universes |
156
click to vote
IPPS
2002
IEEE
15 years 11 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...
177
click to vote
IPPS
1999
IEEE
15 years 10 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 ...
142
click to vote
IPPS
1998
IEEE
15 years 10 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...
152
click to vote
HPDC
1996
IEEE
15 years 10 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...
147
click to vote
SPDP
1993
IEEE
15 years 10 months ago
1993
IEEE
In PRAM emulations, universal hashing is a well-known method for distributing the address space among memory modules. However, if the memory access patterns of an application ofte...