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 条
  • [1] On detecting global predicates in distributed computations
    Mittal, N
    Garg, VK
    [J]. 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 3 - 10
  • [2] Detecting global predicates in distributed systems with clocks
    Stoller, SD
    [J]. DISTRIBUTED ALGORITHMS, PROCEEDINGS, 1997, 1320 : 185 - 199
  • [3] Detecting global predicates in distributed systems with clocks
    Stoller, SD
    [J]. DISTRIBUTED COMPUTING, 2000, 13 (02) : 85 - 98
  • [4] Efficient distributed detection of conjunctions of local predicates
    Hurfin, M
    Mizuno, M
    Raynal, M
    Singhal, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (08) : 664 - 677
  • [5] Test Case Generation from Conjunctions of Predicates with Model Checking
    Tian Cong
    Liu Shaoying
    Duan Zhenhua
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2014, 23 (02) : 271 - 277
  • [6] Test Case Generation from Conjunctions of Predicates with Model Checking
    TIAN Cong
    LIU Shaoying
    DUAN Zhenhua
    [J]. Chinese Journal of Electronics, 2014, 23 (02) : 271 - 277
  • [7] On-the-fly detection of conjunctions of local predicates in distributed computations
    Hurfin, M
    Mizuno, M
    Raynal, M
    Singhal, M
    [J]. EIGHTH IEEE SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 1996, : 589 - 592
  • [8] Detecting Locally Distributed Predicates
    De Rosa, Michael
    Goldstein, Seth Copen
    Lee, Peter
    Campbell, Jason
    Pillai, Padmanabhan S.
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (02)
  • [9] PARALLEL AND SERIAL PROCESSING IN DETECTING CONJUNCTIONS
    ZOHARY, E
    HOCHSTEIN, S
    HILLMAN, P
    [J]. PERCEPTION, 1988, 17 (03) : 416 - 416
  • [10] DETECTING CONJUNCTIONS OF COLOR AND FORM IN PARALLEL
    MORDKOFF, JT
    YANTIS, S
    EGETH, HE
    [J]. PERCEPTION & PSYCHOPHYSICS, 1990, 48 (02): : 157 - 168
12345