Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm

被引:16
作者
Ridi, Lorenzo [1 ]
Torrini, Jacopo [1 ]
Vicario, Enrico [2 ]
机构
[1] Univ Florence, Software Technol Lab, I-50121 Florence, Italy
[2] Univ Florence, Sch Engn, I-50121 Florence, Italy
关键词
TIME PETRI; SYSTEMS; NETS; TOOL;
D O I
10.1109/MS.2011.128
中图分类号
TP31 [计算机软件];
学科分类号
081205 [计算机软件];
摘要
A study of difference-bound matrices and the Floyd-Warshall algorithm in the development of an online scheduler provides the backdrop for a reflection on software practice and algorithmic theory. © 2012, IEEE
引用
收藏
页码:76 / 83
页数:8
相关论文
共 12 条
[1]
Ahuja R., 1993, NETWORK FLOWS THEORY
[2]
AlAttili I., 2009, P 1 WORKSH QUANT FOR, P1
[3]
[Anonymous], 1996, LNCS, DOI DOI 10.1007/BFb0020949
[4]
[Anonymous], 1978, INVISIBLE CITIES
[5]
Berthomieu B, 2004, INT J PROD RES, V42, P2741, DOI 10.1080/00207540410001705257
[6]
Oris: A tool for modeling, verification and evaluation of real-time systems [J].
Bucci G. ;
Carnevali L. ;
Ridi L. ;
Vicario E. .
International Journal on Software Tools for Technology Transfer, 2010, 12 (5) :391-403
[7]
DILL DL, 1990, LECT NOTES COMPUT SC, V407, P197
[8]
Fehnker A., 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), P280, DOI 10.1109/RTCSA.1999.811256
[9]
Gardey G, 2005, LECT NOTES COMPUT SC, V3576, P418
[10]
Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems [J].
Kloukinas, C ;
Yovine, S .
15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2003, :287-294