663 search results - page 67 / 133 » A Parallel Algorithm for Enumerating Combinations |
109
click to vote
PODC
2012
ACM
13 years 4 months ago
2012
ACM
Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that gu...
111
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
CLUSTER
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract--SUDA2 is a recursive search algorithm for Minimal Unique Itemset detection. Such sets of items are formed via combinations of non-obvious attributes enabling individual r...
136
click to vote
PPSC
1989
15 years 3 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...