Global Predicate Detection in Distributed Systems with Small Faults

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-540-76627-8_23 ◽

2007 ◽

pp. 296-310 ◽

Cited By ~ 3

Author(s):

Felix C. Freiling ◽

Arshad Jhumka

Keyword(s):

Distributed Systems ◽

Predicate Detection ◽

Global Predicate Detection

Download Full-text

ENF event predicate detection in distributed systems

Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 ◽

10.1145/197917.197964 ◽

1994 ◽

Cited By ~ 2

Author(s):

Hsien-Kuang Chiou ◽

Willard Korfhage

Keyword(s):

Distributed Systems ◽

Predicate Detection

Download Full-text

Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach

IEEE Transactions on Computers ◽

10.1109/tc.2015.2409839 ◽

2016 ◽

Vol 65 (1) ◽

pp. 173-186 ◽

Cited By ~ 7

Author(s):

Weiping Zhu ◽

Jiannong Cao ◽

Michel Raynal

Keyword(s):

Distributed Systems ◽

Probabilistic Approach ◽

Predicate Detection

Download Full-text

Techniques to tackle state explosion in global predicate detection

IEEE Transactions on Software Engineering ◽

10.1109/32.940566 ◽

2001 ◽

Vol 27 (8) ◽

pp. 704-714 ◽

Cited By ~ 27

Author(s):

S. Alagar ◽

S. Venkatesan

Keyword(s):

State Explosion ◽

Predicate Detection ◽

Global Predicate Detection

Download Full-text

Global Predicate Detection under Fine-Grained Modalities

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_7 ◽

2003 ◽

pp. 91-109 ◽

Cited By ~ 3

Author(s):

Punit Chandra ◽

Ajay D. Kshemkalyani

Keyword(s):

Predicate Detection ◽

Fine Grained ◽

Global Predicate Detection

Download Full-text