1639 search results - page 107 / 328 » Towards a theory of shared data in distributed systems |
110
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
An essential step toward the development of an intelligent substation is to provide self-diagnosing capability at the equipment level. Transformers, circuit breakers and other sub...
104
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
135
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
116
click to vote
CCGRID
2007
IEEE
15 years 5 months ago
2007
IEEE
A computer-aided diagnostic (CAD) method of calculating lumen and wall thickness of carotid vessels is presented. The CAD is able to measure the geometry of the lumen and plaque s...