ON THE PROOF OF A DISTRIBUTED ALGORITHM

被引：5
|
作者：
VERJUS, JP
机构：
[1] Inst de Recherche en Informatique et, Systemes Aleatoires, Rennes, Fr, Inst de Recherche en Informatique et Systemes Aleatoires, Rennes, Fr
来源：
INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 03期
关键词：
CORRECTNESS PROOF - DISTRIBUTED ALGORITHM - TERMINATION DETECTION;
D O I：
10.1016/0020-0190(87)90123-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：145 / 147
页数：3
相关论文
共 50 条
  • [41] GENERALIZED PROOF OF MODIFIED BOOTHS ALGORITHM
    SRIMANI, PK
    COMPUTERS & ELECTRICAL ENGINEERING, 1981, 8 (01) : 7 - 9
  • [42] PROOF OF AN ALGORITHM FOR SECONDARY PROCESSING OF INFORMATION
    LIKHAREV, VA
    FURMAN, YA
    TELECOMMUNICATIONS AND RADIO ENGINEER-USSR, 1969, (01): : 74 - &
  • [43] A simple proof of the transposed QR algorithm
    Burnside, RR
    Guest, PB
    SIAM REVIEW, 1996, 38 (02) : 306 - 308
  • [44] ON A PROOF OF A ROBBINS-MONRO ALGORITHM
    WARDI, Y
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 1990, 64 (01) : 217 - 217
  • [45] CORRECTNESS PROOF FOR THE MAJORITY CONSENSUS ALGORITHM
    RAVICHANDRAN, A
    SHYAMASUNDAR, RK
    INFORMATION SCIENCES, 1986, 38 (03) : 213 - 227
  • [46] Correctness proof for database reconstruction algorithm
    Fasan, Oluwasola Mary
    Olivier, Martin S.
    DIGITAL INVESTIGATION, 2012, 9 (02) : 138 - 150
  • [47] A convergence proof for ant colony algorithm
    Zhao, Baojiang
    Li, Shiyong
    WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 3072 - +
  • [48] A Convergence Proof for Ant Colony Algorithm
    Nong, Jifu
    Jin, Long
    INTERNATIONAL JOINT CONFERENCE ON COMPUTATIONAL SCIENCES AND OPTIMIZATION, VOL 2, PROCEEDINGS, 2009, : 974 - +
  • [49] PROOF OF MODIFIED BOOTHS ALGORITHM FOR MULTIPLICATION
    RUBINFIELD, LP
    IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (10) : 1014 - 1015
  • [50] Towards an Automatic Proof of the Bakery Algorithm
    Goel, Aman
    Merz, Stephan
    Sakallah, Karem A.
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, 2023, 13910 : 21 - 28
12345