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
ABSTRACT
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.
INDEX TERMS
sequencing and scheduling, graph algorithms, Floyd-Warshall algorithm, difference-bound matrix, model checking, software engineering
CITATION
Lorenzo Ridi, Jacopo Torrini, Enrico Vicario, "Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm", IEEE Software, vol. 29, no. , pp. 76-83, January/February 2012, doi:10.1109/MS.2011.128
107 ms
(Ver 3.3 (11022016))