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 条
  • [41] Analysis on EURORADIO Safety Critical Protocol by Probabilistic Model Checking
    Quan Hongyu
    Zhao Huibing
    Zhou Guo
    2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 75 - 78
  • [42] Connected Cruise Control Design Using Probabilistic Model Checking
    Ge, Jin I.
    Orosz, Gabor
    Murray, Richard M.
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 4964 - 4970
  • [43] Modeling and analysis of cell membrane systems with probabilistic model checking
    Mirlaine A Crepalde
    Alessandra C Faria-Campos
    Sérgio VA Campos
    BMC Genomics, 12
  • [44] Performance Evaluation of Device Discovery in Bluetooth LE with Probabilistic Model Checking
    Matsuo, Yusuke
    Umehara, Daisuke
    Murata, Hidekazu
    Denno, Satoshi
    2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2015,
  • [45] SAFEST: Fault Tree Analysis via Probabilistic Model Checking
    Volk, Matthias
    Sher, Falak
    Katoen, Joost-Pieter
    Stoelinga, Marielle
    2024 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, RAMS, 2024,
  • [46] Modeling and analysis of cell membrane systems with probabilistic model checking
    Crepalde, Mirlaine A.
    Faria-Campos, Alessandra C.
    Campos, Sergio V. A.
    BMC GENOMICS, 2011, 12
  • [47] Trade-off Analysis Meets Probabilistic Model Checking
    Baier, Christel
    Dubslaff, Clemens
    Kluppelholz, Sascha
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [48] Formal Analysis of Fault Tree using Probabilistic Model Checking: A Solar Array Case Study
    Ammar, Marwan
    Hoque, Khaza Anuarul
    Mohamed, Otmane Ait
    2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 285 - 290
  • [49] Family-based Model Checking using Probabilistic Model Checker PRISM
    Kishi, Tomoji
    PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 376 - 385
  • [50] Analysis of DIRAC's behavior using model checking with process algebra
    Remenska, Daniela
    Templon, Jeff
    Willemse, Tim
    Bal, Henri
    Verstoep, Kees
    Fokkink, Wan
    Charpentier, Philippe
    Diaz, Ricardo Graciani
    Lanciotti, Elisa
    Roiser, Stefan
    Ciba, Krzysztof
    INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
12345