2362 search results - page 138 / 473 » Programming in Standard ML |
117
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents recursion unrolling, a technique for improving the performance of recursive computations. Conceptually, recursion unrolling inlines recursive calls to reduce c...
152
click to vote
EUROGP
2010
Springer
15 years 5 months ago
2010
Springer
We propose a new framework based on Genetic Programming (GP) to automatically decompose problems into smaller and simpler tasks. The framework uses GP at two levels. At the top lev...
138
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
135
Voted
EUROGP
2010
Springer
2010
Springer
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
15 years 4 months ago
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
C++
1990
15 years 5 months ago
1990
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...