Detecting conjunctions of global predicates

被引：1
|
作者：
Garg, VK
Mitchell, JR
机构：
来源：
INFORMATION PROCESSING LETTERS | 1997年 / 63卷 / 06期
关键词：
distributed systems; predicate detection;
D O I：
10.1016/S0020-0190(97)00139-7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present an efficient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For offline detection of such global predicates, our algorithm is significantly more efficient than the previous algorithms by Cooper and Marzullo, and by Stoller and Schneider. (C) 1997 Elsevier Science B.V.
引用
收藏
页码：295 / 302
页数：8
相关论文
共 50 条
  • [41] Detecting changes in feature conjunctions:: The step between traces for individual features and stimulus representations
    Takegata, R
    Näätänen, R
    Winkler, I
    [J]. PSYCHOPHYSIOLOGY, 2001, 38 : S93 - S93
  • [42] Global conjunctions in the Indian Ocean - Malay world textual trajectories INTRODUCTION
    Mandal, Sumit K.
    [J]. INDONESIA AND THE MALAY WORLD, 2013, 41 (120) : 143 - 145
  • [43] Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions
    de Givry, Simon
    Lee, Jimmy H. M.
    Leung, Ka Lun
    Shum, Yu Wai
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 797 - 812
  • [44] Consistent detection of global predicates under a weak fault assumption
    Gärtner, FC
    Kloppenburg, S
    [J]. 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, 2000, : 94 - 103
  • [45] 'CONJUNCTIONS'
    CAMPBELL, D
    [J]. OVERLAND, 1976, 63 : 21 - 21
  • [46] STATIONARY CONJUNCTIONS AND NEAR-CONJUNCTIONS OF JUPITER AND SATURN
    SMILEY, CH
    [J]. JOURNAL OF THE ROYAL ASTRONOMICAL SOCIETY OF CANADA, 1968, 62 (04) : 181 - &
  • [47] Obfuscating Conjunctions
    Brakerski, Zvika
    Rothblum, Guy N.
    [J]. JOURNAL OF CRYPTOLOGY, 2017, 30 (01) : 289 - 320
  • [48] Interpreting conjunctions
    Bott, Lewis
    Frisson, Steven
    Murphy, Gregory L.
    [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 2009, 62 (04): : 681 - 706
  • [49] A MONTH OF CONJUNCTIONS
    SCHAAF, F
    [J]. ASTRONOMY, 1984, 12 (10) : 42 - +
  • [50] Obfuscating Conjunctions
    Brakerski, Zvika
    Rothblum, Guy N.
    [J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2013, PT II, 2013, 8043 : 416 - 434
12345