Sciweavers

2976 search results - page 145 / 596
» On the bounded integer programming
Sort
View
APLAS
2010
ACM
15 years 3 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
ICRA
2009
IEEE
98views Robotics» more  ICRA 2009»
15 years 9 months ago
Multi-robot routing with linear decreasing rewards over time
Abstract— We study multi-robot routing problems (MRLDR) where a team of robots has to visit a set of given targets with linear decreasing rewards over time, such as required for ...
Ali Ekici, Pinar Keskinocak, Sven Koenig
ISLPED
2003
ACM
85views Hardware» more  ISLPED 2003»
15 years 8 months ago
ILP-based optimization of sequential circuits for low power
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
Feng Gao, John P. Hayes
ATMOS
2009
102views Optimization» more  ATMOS 2009»
15 years 4 months ago
An Improved Train Classification Procedure for the Hump Yard Lausanne Triage
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
Peter Marton, Jens Maue, Marc Nunkesser
EOR
2007
69views more  EOR 2007»
15 years 2 months ago
Incorporating inventory and routing costs in strategic location models
We consider a supply chain design problem where the decision maker needs to decide the number and locations of the distribution centers (DCs). Customers face random demand, and ea...
Zuo-Jun Max Shen, Lian Qi