Sciweavers

319 search results - page 10 / 64
» An Analytical Comparison of Optimization Problem Generation ...
Sort
View
ICS
2005
Tsinghua U.
14 years 27 days ago
Think globally, search locally
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
Kamen Yotov, Keshav Pingali, Paul Stodghill
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
13 years 11 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
13 years 11 months ago
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
Evolutionary algorithms are among the metaheuristic search methods that have been applied to the structural test data generation problem. Fitness evaluation methods play an import...
H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harma...
GECCO
2005
Springer
158views Optimization» more  GECCO 2005»
14 years 28 days ago
Transition models as an incremental approach for problem solving in evolutionary algorithms
This paper proposes an incremental approach for building solutions using evolutionary computation. It presents a simple evolutionary model called a Transition model in which parti...
Anne Defaweux, Tom Lenaerts, Jano I. van Hemert, J...
JAMDS
2000
90views more  JAMDS 2000»
13 years 7 months ago
Stratified filtered sampling in stochastic optimization
We develop a methodology for evaluating a decision strategy generated by a stochastic optimization model. The methodology is based on a pilot study in which we estimate the distri...
Robert Rush, John M. Mulvey, John E. Mitchell, Tho...