190 search results - page 16 / 38 » Resources, Concurrency and Local Reasoning |
164
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
118
click to vote
SPAA
2009
ACM
15 years 10 months ago
2009
ACM
We consider a dynamic load balancing scenario in which users allocate resources in a non-cooperative and selfish fashion. The perceived performance of a resource for a user decre...
131
click to vote
CLIMA
2004
15 years 5 months ago
2004
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
102
click to vote
PODC
2010
ACM
15 years 7 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...