471 search results - page 3 / 95 » Automatic Mutual Exclusion |
DAC
1998
ACM
16 years 7 hour ago
1998
ACM
DAC
2005
ACM
16 years 6 hour 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
15 years 14 days 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
15 years 2 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 ...
102
click to vote
EUROPAR
2004
Springer
15 years 4 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...