Sciweavers

1162 search results - page 9 / 233
» Cartesian genetic programming
Sort
View
TACAS
2001
Springer
96views Algorithms» more  TACAS 2001»
13 years 12 months ago
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
JISE
2006
76views more  JISE 2006»
13 years 7 months ago
Process and Planning Support for Iterative Porting
in an abstract Cartesian space of program versions characterized by dialect variables. An optimal solution to the problem is derived based on its translation to a restricted Intege...
Pradeep Varma
SPIN
2007
Springer
14 years 1 months ago
Cartesian Partial-Order Reduction
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagi...
ICANNGA
2007
Springer
138views Algorithms» more  ICANNGA 2007»
14 years 1 months ago
Liquid State Genetic Programming
Abstract. A new Genetic Programming variant called Liquid State Genetic Programming (LSGP) is proposed in this paper. LSGP is a hybrid method combining a dynamic memory for storing...
Mihai Oltean
MLMTA
2003
13 years 8 months ago
Guided Genetic Programming
This paper argues that genetic programming has not made good on its promise to generate computer programs automatically. It then describes an approach that would allow that promise...
Russ Abbott