4491 search results - page 338 / 899 » Algorithm Engineering |
239
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
117
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
122
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
111
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
Most traditional Information Retrieval (IR) systems, including web search engines, operationalize “relevant” as the word frequency in a document of a set of keywords. Because ...