471 search results - page 52 / 95 » Automatic Mutual Exclusion |
145
Voted
ACSD
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
120
click to vote
DGO
2008
15 years 6 months ago
2008
The promise of E-Government (and its more recent spin-offs of EDemocracy, E-Participation, E-Procurement, and a range of other "E-`s") is to engage citizenry in governme...
119
Voted
IIWAS
2004
15 years 6 months ago
2004
It is a fact that many XML query languages lack support for update operations. Those that have minimal support do not concern with preserving documents' constraints, and cons...
105
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Mutual exclusion locks limit concurrency but offer low latency. Software transactional memory (STM) typically has higher latency, but scales well. In this paper we propose transac...
150
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...