2468 search results - page 165 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
124
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...
164
click to vote
ANSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...
132
click to vote
IJSEKE
2008
15 years 3 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
228
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
128
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...