Performance analysis of Israeli-Jalfon's algorithm using probabilistic model checking

被引：0
|
作者：
Guo, Xu [1 ,2 ]
机构：
[1] School of Information Science and Software Engineering, East China Normal University, Shanghai, China
[2] School of Electronics and Information, Shanghai DianJi University, Shanghai, China
来源：
Concurrency and Computation: Practice and Experience | 2019年 / 31卷 / 09期
关键词：
721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory;
D O I：
e4973
中图分类号：
学科分类号：
摘要：
Fault tolerance
引用
收藏
相关论文
共 50 条
  • [31] Reliability analysis on Web-based service system using probabilistic model checking
    Gao H.
    Kai J.
    Zhou J.
    Miao H.
    Huang W.
    Wang X.
    1600, Southeast University (47): : 132 - 139
  • [32] A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
    Ferreira, Bruno
    Braz, Fernando A. F.
    Campos, Sergio V. A.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 113 - 129
  • [33] Towards probabilistic model checking on P systems using PRISM
    Romero-Campero, Francisco J.
    Gheorghe, Marian
    Bianco, Luca
    Pescini, Dario
    Perez-Jimenez, Mario J.
    Ceterchi, Rodica
    MEMBRANE COMPUTING, 2006, 4361 : 477 - +
  • [34] Symmetry reduction for probabilistic model checking using generic representatives
    Donaldson, Alastair F.
    Miller, Alice
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 9 - 23
  • [35] Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
    Rataj, Artur
    Wozna-Szczesniak, Bozena
    FUNDAMENTA INFORMATICAE, 2018, 157 (04) : 443 - 461
  • [36] Validation of Service Level Agreements using Probabilistic Model Checking
    Krotsiani, Maria
    Kloukinas, Christos
    Spanoudakis, George
    2017 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC), 2017, : 148 - 155
  • [37] Predictive Web Service Monitoring using Probabilistic Model Checking
    Gao, Honghao
    Miao, Huaikou
    Zeng, Hongwei
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 : 139 - 148
  • [38] An approach to Service Dynamic Reconfiguration Using Probabilistic Model Checking
    Miao, Huaikou
    2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 3 - 3
  • [39] Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
    Bertolini, Cristiano
    Mota, Alexandre
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 115 - 124
  • [40] Probabilistic Model Checking GitHub Repositories for Software Project Analysis
    Jo, Suhee
    Kwon, Ryeonggu
    Kwon, Gihwon
    APPLIED SCIENCES-BASEL, 2024, 14 (03):
12345