On proof-labeling schemes versus silent self-stabilizing algorithms

被引：21
|
作者：
机构：
[1] Blin, Lélia
[2] Fraigniaud, Pierre
[3] Patt-Shamir, Boaz
来源：
| 1600年 / Springer Verlag卷 / 8756期
关键词：
Stabilization;
D O I：
10.1007/978-3-319-11764-5_2
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] UNIFORM SELF-STABILIZING ALGORITHMS FOR MUTUAL EXCLUSION
    NISHIKAWA, N
    MASUZAWA, T
    TOKURA, N
    SYSTEMS AND COMPUTERS IN JAPAN, 1994, 25 (14) : 12 - 21
  • [32] Class of self-stabilizing MCA learning algorithms
    Ye, Mao
    Fan, Xu-Qian
    Li, Xue
    IEEE TRANSACTIONS ON NEURAL NETWORKS, 2006, 17 (06): : 1634 - 1638
  • [33] Symbolic model checking for self-stabilizing algorithms
    Tsuchiya, T
    Nagano, S
    Paidi, RB
    Kikuno, T
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, 12 (01) : 81 - 95
  • [34] Self-stabilizing algorithms in DAG structured networks
    Univ of North Texas, United States
    Int Symp Parall Archit Algorithms Networks I SPAN, (190-195):
  • [35] Studies on algorithms for self-stabilizing communication protocols
    Li, Layuan
    Li, Chunlin
    Journal of Computer Science and Technology, 1999, 14 (06): : 606 - 613
  • [36] Self-stabilizing algorithms for synchronous unidirectional rings
    Mayer, A
    Ostrovsky, R
    Yung, M
    PROCEEDINGS OF THE SEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 1996, : 564 - 573
  • [37] Survey on Algorithms for Self-stabilizing Overlay Networks
    Feldmann, Michael
    Scheideler, Christian
    Schmid, Stefan
    ACM COMPUTING SURVEYS, 2020, 53 (04)
  • [38] Self-stabilizing algorithms in dag structured networks
    Department of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX 76019, United States
    Parallel Process Lett, 4 (563-574):
  • [39] Efficient self-stabilizing algorithms for tree networks
    Blair, JRS
    Manne, F
    23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 20 - 26
  • [40] Self-stabilizing algorithms in DAG structured networks
    Das, SK
    Datta, AK
    Tixeuil, S
    FOURTH INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN'99), PROCEEDINGS, 1999, : 190 - 195
12345