×
Jean-Francois肯普夫;马吕斯·博兹加;奥德·马勒

概率设置中调度器的性能评估。 （英语） Zbl 1348.68023号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，1-17（2011）。
摘要：我们展示了如何评估有限时间调度问题的解的性能，其中任务持续时间由有界均匀分布指定。我们的计算技术以计算区域体积为基础，对不确定性和随机系统下的调度计算研究做出了贡献。
关于整个系列，请参见[Zbl 1223.68006号].

引用于1审查

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度

软件：

Uppaal公司;IF-2.0型;克洛诺斯;UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{J.-F.Kempf}等人，Lect。注释计算。科学。6919，1-17（2011；Zbl 1348.68023）
全文： 内政部 哈尔

参考文献：

[1] Abdeda-im，Y.，Asarin，E.，Maler，O.：时间自动机调度。理论计算机科学354（2），272–300（2006）·兹比尔1088.68023 ·doi:10.1016/j.tcs.2005.11.018文件
[2] Alur，R.，Bernadsky，M.：随机实时系统GSMP模型的有界模型检查。收录：Hespanha，J.P.，Tiwari，A.（编辑）HSCC 2006。LNCS，第3927卷，第19-33页。斯普林格，海德堡（2006）·Zbl 1178.68332号 ·doi:10.1007/11730637_5
[3] Alur，R.，Courcoubetis，C.，Dill，D.L.：概率实时系统的模型检查。收录：Leach Albert，J.、Monien，B.、Rodríguez-Artalejo，M.（编辑）ICALP 1991。LNCS，第510卷，第115-126页。斯普林格，海德堡（1991）·Zbl 0769.68088号 ·doi:10.1007/3-540-54233-7_128
[4] Alur，R.，Dill，D.L.：时间自动机理论。理论计算机科学126（2），183-235（1994）·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[5] Asarin，E.，Caspi，P.，Maler，O.：定时正则表达式。《美国医学会杂志》49（2），172-206（2002）·Zbl 1323.68335号 ·doi:10.1145/506147.506151
[6] Asarin，E.，Maler，O.：尽快：时间自动机的时间最优控制。收录人：Vaandrager，F.W.，van Schuppen，J.H.（编辑）HSCC 1999。LNCS，第1569卷，第19-30页。斯普林格，海德堡（1999）·Zbl 0952.93064号 ·doi:10.1007/3-540-48983-56
[7] Asarin，E.，Maler，O.，Pnueli，A.，Sifakis，J.：时间自动机的控制器综合。In：程序。国际会计师联合会系统结构和控制专题讨论会，第469–474页（1998年）
[8] Baier，C.，Haverkort，B.R.，Hermanns，H.，Katoen，J.-P.：连续时间马尔可夫链的模型检验算法。IEEE传输。软件工程29（6），524–541（2003）·Zbl 05113886号 ·doi:10.1109/TSE.2003.1205180
[9] Ben-Salah，R.，Bozga，M.，Maler，O.：关于时间自动机中的交织。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，第4137卷，第465-476页。斯普林格，海德堡（2006）·Zbl 1151.68457号 ·doi:10.1007/11817949_31
[10] Bernadsky，M.，Alur，R.：具有一个状态时钟的GSMP模型的符号分析。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第4416卷，第90-103页。斯普林格，海德堡（2007）·Zbl 1221.93016号 ·doi:10.1007/978-3-540-71493-4_10
[11] Bouyer，P.：从定性到定量的时间系统分析。巴黎大学（2009年7月）
[12] Bozga，M.、Graf，S.、Mounier，L.：IF-2.0：基于组件的实时系统的验证环境。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第2404卷，第343–348页。斯普林格，海德堡（2002）·Zbl 1010.68751号 ·doi:10.1007/3-5440-45657-0_26
[13] Brinksma，E.，Hermanns，H.，Katoen，J.-P.（编辑）：EEF School 2000和FMPA 2000。LNCS，第2090卷。施普林格，海德堡（2001）
[14] Carnevali，L.、Grassi，L.和Vicario，E.：非马尔科夫模型分析中DBM域上的状态密度函数。IEEE传输。软件工程35（2），178-194（2009）·doi:10.1109/TSE.2008.101
[15] Cassandras，C.G.，Lafortune，S.：《离散事件系统导论》，第2版。斯普林格，海德堡（2008）·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[16] Cormen，T.T.，Leiserson，C.E.，Rivest，R.L.：算法简介。麻省理工学院出版社，剑桥（1990）·Zbl 1158.68538号
[17] Daws，C.、Olivero，A.、Tripakis，S.、Yovine，S.：工具KRONOS。In:混合动力系统，第208-219页（1995年）
[18] Diekert，V.，Rozenberg，G.（编辑）：《痕迹之书》。《世界科学》，新加坡（1995年）
[19] Dill，D.L.：有限状态并发系统的时序假设和验证。In:有限状态系统的自动验证方法，第197–212页（1989）
[20] Esparza，J.，Heljanko，K.：展开——模型检查的部分顺序方法。斯普林格，海德堡（2008）·Zbl 1153.68035号
[21] 德国，R.：非马尔可夫分析。摘自：Brinksma，E.等人（编辑）[13]，第156-182页·Zbl 0990.68504号 ·doi:10.1007/3-540-44667-24
[22] Glynn，P.W.：离散事件系统的GSMP形式主义。IEEE会议记录77（1），14-23（1989）·数字对象标识代码：10.1109/5.21067
[23] Henzinger，T.A.、Nicollin，X.、Sifakis，J.、Yovine，S.：实时系统的符号模型检查。信息与计算111（2），193-244（1994）·Zbl 0806.68080号 ·doi:10.1006/inco.1994.1045
[24] Jurdzinski，M.，Peled，D.，Qu，H.：计算实时测试用例的概率。收录：Grieskamp，W.，Weise，C.（编辑）《命运》2005。LNCS，第3997卷，第134-151页。斯普林格，海德堡（2006）·Zbl 1183.68178号 ·doi:10.1007/11759744_10
[25] Kartson，D.、Balbo，G.、Donatelli，S.、Franceschinis，G.和Conte，G.：广义随机Petri网建模。约翰·威利父子公司，奇切斯特（1994）·Zbl 0843.68080号
[26] Larsen，K.G.，Pettersson，P.，Yi，W.：总而言之，UPPAAL。国际技术转让软件工具杂志（STTT）1（1），134-152（1997）·Zbl 1060.68577号 ·doi:10.1007/s100090050010
[27] Lugiez，D.，Niebert，P.，Zennou，S.：时间自动机时钟爆炸问题的部分顺序语义方法。理论计算机科学345，27-59（2005）·Zbl 1079.68052号 ·doi:10.1016/j.tcs.2005.07.23文件
[28] Maler，O.：关于对手在场时的最佳合理控制。控制年度审查31（1），1-15（2007）·doi:10.1016/j.arcontrol.2007.02.001
[29] Maler，O.，Larsen，K.G.，Krogh，B.H.：基于区域的持续时间概率自动机分析。In:INFINITY，第33–46页（2010年）
[30] Vicario，E.，Sassoli，L.，Carnevali，L.：在密集时间反应系统的定量评估中使用随机状态类。IEEE传输。软件工程35（5），703–719（2009）·doi:10.1109/TSE.2009.36
[31] 赵，J.：用于检查并行时间自动机的部分顺序路径技术。收录：Damm，W.，Olderog，E.-R.（编辑）FTRTFT 2002。LNCS，第2469卷，第417-432页。斯普林格，海德堡（2002）·Zbl 1278.68198号 ·doi:10.1007/3-540-45739-9_24
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。