2519 search results - page 271 / 504 » Martingales and Locality in Distributed Computing |
PODC
2010
ACM
14 years 2 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
PODC
2010
ACM
14 years 2 months ago
2010
ACM
We quantify the effect of Bayesian ignorance by comparing the social cost obtained in a Bayesian game by agents with local views to the expected social cost of agents having glob...
COLCOM
2005
IEEE
14 years 22 days ago
2005
IEEE
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...
CONCUR
2008
Springer
14 years 17 days ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
PPSN
2010
Springer
13 years 9 months ago
2010
Springer
This paper reveals the surprising result that a single-parent non-elitist evolution strategy (ES) can be locally faster than the (1+1)-ES. The result is brought about by mirrored s...