501 search results - page 2 / 101 » Scheduling Abstractions for Local Search |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
SLS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In this paper, a real-life routing and scheduling problem encountered is addressed. The problem, which consists in optimizing the delivery of fluids by tank trucks on a ...
CP
2003
Springer
13 years 10 months ago
2003
Springer
LION
2009
Springer
13 years 12 months ago
2009
Springer
The fitness landscape of the resource constrained project scheduling problem is investigated by examining the search space position type distribution and the correlation between t...
ETFA
2008
IEEE
13 years 7 months ago
2008
IEEE
In factory automation, production line scheduling entails a number of competing issues. Finding optimal configurations often requires use of local search techniques. Local search l...