861 search results - page 79 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
138
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
116
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Genetic Network Programming (GNP) has been proposed as a graph-based evolutionary algorithm. GNP works well especially in dynamic environments due to its graph structures. In addi...
127
click to vote
AVI
2008
15 years 4 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
111
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Single and multi-step time-series predictors were evolved for forecasting minimum bidding prices in a simulated supply chain management scenario. Evolved programs were allowed to ...
136
click to vote
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...