2515 search results - page 50 / 503 » Interval Availability Distribution Computation |
137
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Buffered coscheduling is a distributed scheduling methodology for time-sharing communicating processes in a distributed system, e.g., PC cluster. The principle mechanisms involved...
140
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
108
Voted
ENTCS
2002
15 years 3 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
132
Voted
CHI
2002
ACM
16 years 4 months ago
2002
ACM
In a ten-session experiment, six participants practiced typing with an expanding rehearsal method on an optimized virtual keyboard. Based on a large amount of in-situ performance ...
132
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...