Sciweavers

14078 search results - page 37 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
VLDB
1998
ACM
97views Database» more  VLDB 1998»
15 years 6 months ago
Design and Analysis of Parametric Query Optimization Algorithms
Query optimizers normally compile queries into one optimal plan by assuming complete knowledge of all cost parameters such asselectivity and resourceavailability. The execution of...
Sumit Ganguly
CP
2007
Springer
15 years 8 months ago
: The Design and Analysis of an Algorithm Portfolio for SAT
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton...
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 7 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
54
Voted
DAGSTUHL
2007
15 years 3 months ago
07391 Abstracts Collection - Probabilistic Methods in the Design and Analysis of Algorithms
Martin Dietzfelbinger, Shang-Hua Teng, Eli Upfal, ...