The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2012 vol. 29)
ISSN: 0740-7459
pp: 76-83
Lorenzo Ridi , Universita di Firenze
Jacopo Torrini , Universita di Firenze
Enrico Vicario , Universita di Firenze
A study of difference-bound matrices and the Floyd-Warshall algorithm in the development of an online scheduler provides the backdrop for a comparison of software practice and algorithmic theory.
sequencing and scheduling, graph algorithms, Floyd-Warshall algorithm, difference-bound matrix, model checking, software engineering

L. Ridi, J. Torrini and E. Vicario, "Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm," in IEEE Software, vol. 29, no. , pp. 76-83, 2011.
88 ms
(Ver 3.3 (11022016))