19 search results - page 3 / 4 » A Symbolic Approach to Bernstein Expansion for Program Analy... |
LCTRTS
1998
Springer
13 years 10 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
GECCO
2005
Springer
13 years 12 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
This paper presents a novel approach for knowledge mining from a sparse and repeated measures dataset. Genetic programming based symbolic regression is employed to generate multip...
ICS
2004
Tsinghua U.
13 years 11 months ago
2004
Tsinghua U.
Storage mapping optimization is a flexible approach to folding array dimensions in numerical codes. It is designed to reduce the memory footprint after a wide spectrum of loop tr...