10899 search results - page 170 / 2180 » The GP Programming System |
127
Voted
EUROGP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
88
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
124
click to vote
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
151
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
On the evening of 2 November 1988, someone “infected” the Internet with a worm program. That program exploited flaws in utility programs in systems based on BSD-derived versi...