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 条
  • [1] Performance analysis of Israeli-Jalfon's algorithm using probabilistic model checking
    Guo, Xu
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 31 (09):
  • [2] Transportation risk analysis using probabilistic model checking
    Soeanu, Andrei
    Debbabi, Mourad
    Alhadidi, Dima
    Makkawi, Makram
    Allouche, Mohamad
    Belanger, Micheline
    Lechevin, Nicholas
    EXPERT SYSTEMS WITH APPLICATIONS, 2015, 42 (09) : 4410 - 4421
  • [3] Medical treatment analysis using probabilistic model checking
    Debbi, Hichem
    Bourahla, Mustapha
    Debbi, Aimad
    INTERNATIONAL JOURNAL OF BIOMEDICAL ENGINEERING AND TECHNOLOGY, 2013, 12 (04) : 346 - 359
  • [4] Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking
    Debbi, Hichem
    INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS, 2021, 45 (04): : 529 - 541
  • [5] Security Analysis of Automotive Architectures using Probabilistic Model Checking
    Mundhenk, Philipp
    Steinhorst, Sebastian
    Lukasiewycz, Martin
    Fahmy, Suhaib A.
    Chakraborty, Samarjit
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [6] Automated Analysis of Commitment Protocols Using Probabilistic Model Checking
    Gunay, Akin
    Song Songzheng
    Liu, Yang
    Zhang, Jie
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 2060 - 2066
  • [7] Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
    Bertrand, Nathalie
    Bordais, Benjamin
    Helouet, Loic
    Mari, Thomas
    Parreaux, Julie
    Sankur, Ocan
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, 2019, 11495 : 59 - 76
  • [8] Probabilistic model checking on HPC systems for the performance analysis of mobile networks
    Schreiner, Wolfgang
    Berczes, Tamas
    Sztrik, Janos
    ANNALES MATHEMATICAE ET INFORMATICAE, 2014, 43 : 123 - 144
  • [9] Reliability Analysis for Flight Control Systems using Probabilistic Model Checking
    Wang, Luyao
    Cai, Fang
    PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017, : 161 - 164
  • [10] Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
    Shaikh, Eman
    Al-Ali, A. R.
    Muhammad, Shahabuddin
    Mohammad, Nazeeruddin
    Aloul, F.
    IEEE ACCESS, 2023, 11 : 26358 - 26374
12345