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 条
  • [21] A FRAMEWORK FOR FORMAL AUTOMATED ANALYSIS OF SIMULATION EXPERIMENTS USING PROBABILISTIC MODEL CHECKING
    Doud, Kyle
    Yilmaz, Levent
    2017 WINTER SIMULATION CONFERENCE (WSC), 2017, : 1312 - 1323
  • [22] Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking
    Geisweiller, Nil
    Bonte, Jeremie
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (04) : 3 - 24
  • [23] A Probabilistic Model for the Performance Analysis of a Distributed Task Allocation Algorithm
    Viguria, Antidio
    Howard, Ayanna M.
    ICRA: 2009 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-7, 2009, : 2078 - +
  • [24] Analyzing cleaning robots using probabilistic model checking
    Araújo R.
    Mota A.
    Nogueira S.
    Advances in Intelligent Systems and Computing, 2019, 838 : 23 - 51
  • [25] Analysing Wiki Quality using Probabilistic Model Checking
    De Ruvo, Giuseppe
    Santone, Antonella
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 224 - 229
  • [26] Using probabilistic model checking for dynamic power management
    Norman, G
    Parker, D
    Kwiatkowska, M
    Shukla, S
    Gupta, R
    FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 160 - 176
  • [27] Analysis of Interrupt Behavior Based on Probabilistic Model Checking
    Hou, Gang
    Kong, Weiqiang
    Zhou, Kuanjiu
    Wang, Jie
    Cao, Xun
    Fukud, Akira
    2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 2018, : 86 - 91
  • [28] Quantitative refinement and model checking for the analysis of probabilistic systems
    McIver, A. K.
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 131 - 146
  • [29] Probabilistic alternating-time temporal logic and model checking algorithm
    Chen, Taolue
    Lu, Jian
    FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 2, PROCEEDINGS, 2007, : 35 - +
  • [30] Model checking epistemic-probabilistic logic using probabilistic interpreted systems
    Wan, Wei
    Bentahar, Jamal
    Ben Hamza, Abdessamad
    KNOWLEDGE-BASED SYSTEMS, 2013, 50 : 279 - 295
12345