• DocumentCode
    1405564
  • 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
  • Volume
    29
  • Issue
    1
  • fYear
    2012
  • Firstpage
    76
  • Lastpage
    83
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2011.128
  • Filename
    6111367
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1405564