4604 search results - page 241 / 921 » Concurrency in Synchronous Systems |
178
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
185
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
158
click to vote
SRDS
1996
IEEE
15 years 10 months ago
1996
IEEE
Basing rollback recovery on optimistic message logging and replay avoids the need for synchronization between processes during failure-free execution. Some previous research has a...
146
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
153
click to vote
IADIS
2004
15 years 8 months ago
2004
Synchronous collaborative navigation is a form of social navigation where users virtually share a web browser. In this paper, we present a symmetric, proxy-based architecture wher...