8197 search results - page 406 / 1640 » Adaptive functional programming |
162
Voted
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a method for creating scheduling heuristics for parallel proportional machine scheduling environment and arbitrary performance criteria. Genetic programmin...
180
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
187
click to vote
CEC
2003
IEEE
16 years 4 days ago
2003
IEEE
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
189
click to vote
ICES
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
167
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...