1322 search results - page 167 / 265 » Efficient Goal-Directed Exploration |
126
Voted
STOC
2001
ACM
16 years 4 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
128
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
141
Voted
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
269
click to vote
VLDB
2002
ACM
16 years 4 months ago
2002
ACM
Our aim is to develop new database technologies for the approximate matching of unstructured string data using indexes. We explore the potential of the suffix tree data structure i...
199
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...