6926 search results - page 1317 / 1386 » A More Effective CEFF |
OSDI
2006
ACM
16 years 5 days ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
106
click to vote
OSDI
2002
ACM
16 years 5 days ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
169
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
213
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
205
click to vote
SIGMOD
2009
ACM
16 years 2 days ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...