570 search results - page 38 / 114 » From Program Verification to Program Synthesis |
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes how genetic programming was used as an invention machine to automatically synthesize complete designs for six optical lens systems that duplicated the functio...
116
click to vote
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...
151
click to vote
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
137
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the development of an evolutionary algorithm called Multipopulation Cooperative Coevolutionary Programming (MCCP) that extends Genetic Programming (GP) to sea...