12659 search results - page 413 / 2532 » The distributed breakout algorithms |
208
Voted
OSDI
1994
ACM
15 years 9 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
246
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
181
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Recent work on BitTorrent has shown that the choke/unchoke mechanism implements an auction where each peer tries to induce other peers into "unchoking" it by uploading m...
218
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
220
click to vote
ENTCS
2008
15 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...