12707 search results - page 395 / 2542 » A Distributed Arc-Consistency Algorithm |
208
Voted
FMCO
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
178
Voted
APPROX
2008
Springer
15 years 8 months ago
2008
Springer
Random projection methods give distributions over k
207
Voted
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Many large content publishers use multiple content distribution networks to deliver their content, and many industrial systems have become available to help a broader set of conte...
161
click to vote
PODC
2006
ACM
16 years 25 days ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
214
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the realization of a parallel version of the k/h-means clustering algorithm. This is one of the basic algorithms used in a wide range of data mining tasks. We ...