Title :
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm
Author :
Ridi, Lorenzo ; Torrini, Jacopo ; Vicario, Enrico
Author_Institution :
Software Technol. Lab., Univ. of Florence, Florence, Italy
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.
Keywords :
graph theory; matrix algebra; scheduling; Floyd-Warshall algorithm; algorithmic theory; difference-bound matrices; online scheduler; software practice; Algorithm design and analysis; Difference equations; Scheduling; Software algorithms; Floyd-Warshall algorithm; difference-bound matrix; graph algorithms; model checking; sequencing and scheduling; software engineering;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2011.128
