1173 search results - page 86 / 235 » Program Derivation Using Analogy |
148
click to vote
ASAP
2003
IEEE
15 years 10 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
149
click to vote
WCRE
1993
IEEE
15 years 9 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
139
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: The identification of species or species groups with specific oligo-nucleotides as molecular signatures is becoming increasingly popular for bacterial samples. However...
139
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...
144
click to vote
WCET
2007
15 years 6 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...