6584 search results - page 314 / 1317 » Distributed Shared Contexts |
207
click to vote
ENTCS
2011
14 years 10 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
177
click to vote
ATS
2009
IEEE
16 years 2 months ago
2009
IEEE
Power distribution network (PDN) designs for today’s high performance integrated circuits (ICs) typically occupy a significant share of metal resources in the circuit, and henc...
180
click to vote
PDP
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
199
click to vote
HPDC
2005
IEEE
16 years 26 days ago
2005
IEEE
In this paper, we argue that a broad range of Internet-scale distributed applications can benefit from an underlying low-cost consistency detection framework – an alternative to...
163
click to vote
WOWMOM
2005
ACM
16 years 25 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...