A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

被引：0
|
作者：
Dept. of Comp. and Info. Sciences, Kansas State University, Manhattan, KS 66506, United States [1 ]
机构：
来源：
Inf. Process. Lett. | / 6卷 / 285-290期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
    Mizuno, M
    Nesterenko, M
    INFORMATION PROCESSING LETTERS, 1998, 66 (06) : 285 - 290
  • [2] Self-stabilizing byzantine asynchronous unison
    Dubois, Swan
    Potop-Butucaru, Maria
    Nesterenko, Mikhail
    Tixeuil, Sebastien
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2012, 72 (07) : 917 - 923
  • [3] Self-stabilizing Byzantine Asynchronous Unison
    Dubois, Swan
    Potop-Butucaru, Maria Gradinariu
    Nesterenko, Mikhail
    Tixeuil, Sebastien
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 83 - +
  • [4] Effect of Fairness in Model Checking of Self-stabilizing Programs
    Chen, Jingshu
    Abujarad, Fuad
    Kulkarni, Sandeep
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2010, 6490 : 135 - 138
  • [5] Towards scalable model checking of self-stabilizing programs
    Chen, Jingshu
    Abujarad, Fuad
    Kulkarni, Sandeep
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (04) : 400 - 410
  • [6] Formal design of self-stabilizing programs
    Prasetya, ISWB
    Swierstra, SD
    JOURNAL OF HIGH SPEED NETWORKS, 2005, 14 (01) : 59 - 83
  • [7] Time optimal asynchronous self-stabilizing spanning tree
    Burman, Janna
    Kutten, Shay
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, 4731 : 92 - +
  • [8] Self-stabilizing asynchronous phase synchronization in general graphs
    Tzeng, Chi-Hung
    Jiang, Jehn-Ruey
    Huang, Shing-Tsaan
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4280 : 501 - 515
  • [9] Computing the stabilization times of self-stabilizing systems
    Tsuchiyai, T
    Tokuda, Y
    Kikuno, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (11) : 2245 - 2252
  • [10] A Self-Stabilizing Process for Mobile Cloud Computing
    La, Hyun Jung
    Kim, Soo Dong
    2013 IEEE SEVENTH INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2013), 2013, : 454 - 462
12345