2468 search results - page 397 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
134
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
114
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
155
Voted
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...
129
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Several studies dealt with medical ultrasound registration. Their similarity metrics relied on pixel-to-pixel intensity comparisons. Hence, they are not well suited to the case...