Consistent detection of global predicates

Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging - PADD '91 ◽

10.1145/122759.122774 ◽

1991 ◽

Author(s):

Robert Cooper ◽

Keith Marzullo

Keyword(s):

Global Predicates

Download Full-text

Possible Global Predicates

Principles of Distributed Systems ◽

10.1007/978-1-4613-1321-2_5 ◽

1996 ◽

pp. 85-95

Author(s):

Vijay K. Garg

Keyword(s):

Global Predicates

Download Full-text

A Note on Modalities for Nonconjunctive Global Predicates

Distributed Computing - IWDC 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24604-6_2 ◽

2003 ◽

pp. 11-25

Author(s):

Ajay D. Kshemkalyani

Keyword(s):

Global Predicates

Download Full-text

A fine-grained modality classification for global predicates

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2003.1225059 ◽

2003 ◽

Vol 14 (8) ◽

pp. 807-816 ◽

Author(s):

A.D. Kshemkalyani

Keyword(s):

Fine Grained ◽

Global Predicates

Download Full-text

On Detection of Bounded Global Predicates

The Computer Journal ◽

10.1093/comjnl/41.4.231 ◽

1998 ◽

Vol 41 (4) ◽

pp. 231-237 ◽

Author(s):

I.-C. Wu

Keyword(s):

Global Predicates

Download Full-text

Distributed control systems debugging based on global predicates detection

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)45762-4 ◽

1994 ◽

Vol 27 (15) ◽

pp. 125-132

Author(s):

J. Vila ◽

F. Buendia

Keyword(s):

Control Systems ◽

Distributed Control ◽

Distributed Control Systems ◽

Global Predicates

Download Full-text

Global Predicates for Online Control of Distributed Applications

Parallel Processing and Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24669-5_35 ◽

2004 ◽

pp. 269-277 ◽

Author(s):

Janusz Borkowski

Keyword(s):

Online Control ◽

Distributed Applications ◽

Global Predicates

Download Full-text

Consistent detection of global predicates under a weak fault assumption

Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000 ◽

10.1109/reldi.2000.885397 ◽

2002 ◽

Author(s):

F.C. Gartner ◽

S. Kloppenburg

Keyword(s):

Global Predicates

Download Full-text

Global predicates in rough real time

Proceedings Seventh IEEE Symposium on Parallel and Distributed Processing SPDP-95 ◽

10.1109/spdp.1995.530660 ◽

2002 ◽

Author(s):

J. Mayo ◽

P. Kearns

Keyword(s):

Real Time ◽

Global Predicates

Download Full-text

Debugging dynamic distributed programs using global predicates

[1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing ◽

10.1109/spdp.1992.242718 ◽

2003 ◽

Author(s):

Y. Manabe ◽

S. Aoyagi

Keyword(s):

Distributed Programs ◽

Global Predicates

Download Full-text

Detection of summative global predicates

Proceedings 1997 International Conference on Parallel and Distributed Systems ◽

10.1109/icpads.1997.652588 ◽

2002 ◽

Author(s):

L.B. Chen ◽

I.C. Wu

Keyword(s):

Global Predicates

Download Full-text