Sciweavers

602 search results - page 23 / 121
» Automatic Optimization for MapReduce Programs
Sort
View
POPL
2005
ACM
14 years 7 months ago
Automated soundness proofs for dataflow analyses and transformations via local rules
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig...
EUROGP
2004
Springer
160views Optimization» more  EUROGP 2004»
13 years 11 months ago
Exploiting Reflection in Object Oriented Genetic Programming
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...
Simon M. Lucas
GECCO
2008
Springer
278views Optimization» more  GECCO 2008»
13 years 8 months ago
Elitism reduces bloat in genetic programming
Elitism is commonly used in generational GP to ensure that the best individuals discovered in a generation are not lost, and are made available for possible further improvements t...
Riccardo Poli, Nicholas Freitag McPhee, Leonardo V...
AAAI
2007
13 years 9 months ago
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
Jinbo Bi, Tao Xiong
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
14 years 1 months ago
Scalable estimation-of-distribution program evolution
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
Moshe Looks