4604 search results - page 159 / 921 » Concurrency in Synchronous Systems |
134
click to vote
SRDS
1994
IEEE
15 years 8 months ago
1994
IEEE
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...
129
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution o...
162
Voted
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
129
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
147
click to vote
AGENTS
1998
Springer
15 years 8 months ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...