7103 search results - page 420 / 1421 » Program Generation and Components |
140
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
125
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
118
click to vote
EUROGP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
114
click to vote
ISW
1999
Springer
15 years 8 months ago
1999
Springer
Micropayments are electronic payments of small amount. Given their low value, the cost of the corresponding electronic transactions should also be kept low. Current micropayment sc...
135
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...