635 search results - page 18 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
HYBRID
2009
Springer
15 years 4 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...
SWAT
2004
Springer
15 years 2 months ago
2004
Springer
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...
105
Voted
ESA
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a problem directly inspired by its application to DWDM (dense wavelength division multiplexing) network design. We are given a set of demands to be carried over a netw...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...