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 10 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
16 years 18 days 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...
138
Voted
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 11 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
127
Voted
ISCAS
1993
IEEE
97views Hardware» more  ISCAS 1993»
15 years 10 months ago
Algebraic methods for the analysis and design of time-frequency signal processing algorithms
Domingo Rodríguez, Jaime Seguel, Edgardo Cr...
100
Voted
DAGSTUHL
2007
15 years 7 months ago
07391 Abstracts Collection - Probabilistic Methods in the Design and Analysis of Algorithms
Martin Dietzfelbinger, Shang-Hua Teng, Eli Upfal, ...