34170 search results - page 314 / 6834 » Optimization |
162
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
136
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
143
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents Differential Evolution with Self-adaptation and Local Search for Constrained Multiobjective Optimization algorithm (DECMOSA-SQP), which uses the self-adapta...
139
Voted
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
166
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper introduces an algorithm to approximately find optimal wireless networks in presence of fading. Joint optimization of application level rates, routes, link capacities, ...