2468 search results - page 206 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
click to vote
ICPPW
2007
IEEE
15 years 10 months ago
2007
IEEE
— Peer-to-Peer (P2P) technologies have found much success in applications like file distributions, and its adoption in live video streaming has recently attracted significant a...
132
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...
124
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for performance evaluation of app...
111
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a method to optimize the timeout value of computing jobs. It relies on a model of the job execution time that considers the job management system latency throu...
152
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...