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 条

[31] Addressing false causality while detecting predicates in distributed programs
Tarafdar, A
Garg, VK
[J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 94 - 101
[32] Detecting locally stable predicates without modifying application messages
Atreya, R
Mittal, N
Garg, VK
[J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 20 - 33
[33] THE EFFECTS OF COHESIVE CONJUNCTIONS, REFERENCE, RESPONSE RHETORICAL PREDICATES, AND TOPIC ON READING RATE AND WRITTEN FREE-RECALL
ROEN, DH
[J]. JOURNAL OF READING BEHAVIOR, 1984, 16 (01): : 15 - 26
[34] TESTING AND DEBUGGING DISTRIBUTED PROGRAMS USING GLOBAL PREDICATES
VENKATESAN, S
DATHAN, B
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 163 - 177
[35] Compounds and complex predicates: Japanese evidence for a "global" parameter
Miyoshi, N
[J]. PROCEEDINGS OF THE 23RD ANNUAL BOSTON UNIVERSITY CONFERENCE ON LANGUAGE DEVELOPMENT, VOLS 1 AND 2, 1999, : 453 - 461
[36] A fine-grained modality classification for global predicates
Kshemkalyani, AD
[J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2003, 14 (08) : 807 - 816
[37] Toward a global approach to discourse uses of conjunctions in spoken French
Debaisieux, Jeanne -Marie
[J]. LANGUAGE SCIENCES, 2016, 58 : 79 - 94
[38] Verification of distributed systems with local-global predicates
Chandy, K. Mani
Go, Brian
Mitra, Sayan
Pilotto, Concetta
White, Jerome
[J]. FORMAL ASPECTS OF COMPUTING, 2011, 23 (05) : 649 - 679
[39] Detecting temporal logic predicates in distributed programs using computation slicing
Sen, A
Garg, VK
[J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 171 - 183
[40] Consistent detection of global predicates under a weak fault assumption
Gaertner, Felix C.
Kloppenburg, Sven
[J]. Proceedings of the IEEE Symposium on Reliable Distributed Systems, 2000, : 94 - 103

← 1 2 3 4 5 →