639 search results - page 34 / 128 » Integer Programming Models for Optimization Problems in Test... |
118
Voted
VTS
2003
IEEE
15 years 7 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
134
click to vote
TRANSCI
2008
15 years 2 months ago
2008
Abstract. We present a new model for a strategic locomotive scheduling problem arising at the Deutsche Bahn AG. The model is based on a multi-commodity min-cost flow formulation th...
124
click to vote
PPSN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
132
Voted
NETWORKING
2007
15 years 3 months ago
2007
In this paper we propose novel optimization models for the planning of Wireless Mesh Networks whose objective is to minimize the network installation cost, while providing full cov...
120
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...