4743 search results - page 529 / 949 » The PlusCal Algorithm Language |
108
click to vote
PPOPP
2010
ACM
16 years 10 days ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
106
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
114
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
140
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Some of the currently best-known approximation algorithms for network design are based on random sampling. One of the key steps of such algorithms is connecting a set of source nod...
128
click to vote
ECML
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper presents a simple unsupervised learning algorithm for recognizing synonyms, based on statistical data acquired by querying a Web search engine. The algorithm, ...