471 search results - page 3 / 95 » Automatic Mutual Exclusion |
DAC
1998
ACM
14 years 6 months ago
1998
ACM
DAC
2005
ACM
14 years 6 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
PDCN
2007
13 years 6 months ago
2007
In a distributed system, process synchronization is an important agenda. One of the major duties for process synchronization is mutual exclusion. This paper presents a new central...
PODC
2010
ACM
13 years 9 months ago
2010
ACM
Mutual exclusion is a fundamental distributed coordination problem. Shared-memory mutual exclusion research focuses on local-spin algorithms and uses the remote memory references ...
EUROPAR
2004
Springer
13 years 10 months ago
2004
Springer
We propose an architecture that consists of a ring of clusters for distributed mutual exclusion algorithms in mobile networks. The mobile network is partitioned into a number of cl...