6939 search results - page 735 / 1388 » Algorithm Engineering for Parallel Computation |
219
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
195
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we address the impact of resource limitations on the operation and performance of the broadcasting and multicasting schemes developed for infrastructureless wireless...
247
Voted
PE
2000
Springer
15 years 7 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
203
click to vote
PPOPP
2012
ACM
14 years 3 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
213
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...