17967 search results - page 15 / 3594 » Functional timing optimization |
GECCO
2009
Springer
14 years 14 days ago
2009
Springer
A partly time and space linear CMA-ES is benchmarked on the BBOB-2009 noiseless function testbed. This algorithm with a multistart strategy with increasing population size solves ...
GECCO
2009
Springer
14 years 14 days ago
2009
Springer
The (1+1)-CMA-ES is an adaptive stochastic algorithm for the optimization of objective functions defined on a continuous search space in a black-box scenario. In this paper, an i...
ER
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present a model of functional access to data that, we argue, is suitable for modeling a class of data repositories characterized by functional access, such as web ...
ICALP
2010
Springer
14 years 19 days ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
ICCAD
2000
IEEE
14 years 8 days ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...