2040 search results - page 354 / 408 » On the Complexity of Error Explanation |
147
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
163
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
140
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...
134
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
145
click to vote
BICOB
2009
Springer
15 years 11 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...