Sciweavers

17967 search results - page 15 / 3594
» Functional timing optimization
Sort
View
GECCO
2009
Springer
141views Optimization» more  GECCO 2009»
15 years 10 months ago
Benchmarking sep-CMA-ES on the BBOB-2009 function testbed
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 ...
Raymond Ros
GECCO
2009
Springer
147views Optimization» more  GECCO 2009»
15 years 10 months ago
Benchmarking the (1+1)-CMA-ES on the BBOB-2009 function testbed
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...
Anne Auger, Nikolaus Hansen
ER
2004
Springer
84views Database» more  ER 2004»
15 years 11 months ago
Modeling Functional Data Sources as Relations
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 ...
Simone Santini, Amarnath Gupta
ICALP
2010
Springer
15 years 10 months ago
On p-Optimal Proof Systems and Logics for PTIME
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 ...
Yijia Chen, Jörg Flum
150
Voted
ICCAD
2000
IEEE
135views Hardware» more  ICCAD 2000»
15 years 10 months ago
Power Optimization of Real-Time Embedded Systems on Variable Speed Processors
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
Youngsoo Shin, Kiyoung Choi, Takayasu Sakurai