2494 search results - page 51 / 499 » Dependable Distributed Computing Using Free Databases |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
EUROPAR
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. The serialization constraints induced by the detection and enforcement of true data dependences have always been regarded as requirements for correct execution. We propos...
ISORC
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
SMA
2010
ACM
13 years 7 months ago
2010
ACM
Bio-molecules reach their stable configuration in solvent which is primarily water with a small concentration of salt ions. One approximation of the total free energy of a bio-mol...
PDP
2003
IEEE
14 years 28 days ago
2003
IEEE
We describe a robust library for parallel and dependable master-worker programs (raftnet). From a software client’s viewpoint, flexibility, hardware independence and ease of us...