874 search results - page 95 / 175 » Practical Algorithms for Selection on Coarse-Grained Paralle... |
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
JAIR
2006
13 years 9 months ago
2006
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...
ESA
2004
Springer
14 years 2 months ago
2004
Springer
Sample sort, a generalization of quicksort that partitions the input into many pieces, is known as the best practical comparison based sorting algorithm for distributed memory para...
CONCUR
1991
Springer
14 years 16 days ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
ICDCS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the problem of selection and discovery of a consistent availability monitoring overlay for computer hosts in a large-scale distributed application, where host...