1760 search results - page 13 / 352 » A System to Mark Programs Automatically |
GECCO
2009
Springer
13 years 6 months ago
2009
Springer
We describe the first steps in the adoption of Shape Grammars with Grammatical Evolution for application in Evolutionary Design. Combining the concepts of Shape Grammars and Genet...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
JUCS
2006
13 years 8 months ago
2006
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
SPLC
2004
13 years 10 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
SFP
2003
13 years 10 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...