Subscribe

Issue No.01 - January/February (2012 vol.29)

pp: 76-83

Lorenzo Ridi , Universita di Firenze

Jacopo Torrini , Universita di Firenze

Enrico Vicario , Universita di Firenze

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2011.128

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. 1, pp. 76-83, January/February 2012, doi:10.1109/MS.2011.128REFERENCES