1063 search results - page 112 / 213 » Generalized Cores |
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Well-designed indices can dramatically improve query performance. Including query workload information can produce indices that yield better overall throughput while balancing the...
117
click to vote
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
103
click to vote
MFCS
2009
Springer
15 years 5 months ago
2009
Springer
We investigate the computational complexity of a general “compression task” centrally occurring in the recently developed technique of iterative compression for exactly solving...
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
SAT
2009
Springer
15 years 5 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....