Deriving distributed algorithms from a general predicate detector (original) (raw)
Related papers
On Detecting Global Predicates in Distributed Computations
2001
Efficient Detection of Channel Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, 1997
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing, 2007
Detection of Conjunctive Stable Predicates in Dynamic Systems
2009 15th International Conference on Parallel and Distributed Systems, 2009
Detection of weak unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1994
Global Predicate Detection in Distributed Systems with Small Faults
Lecture Notes in Computer Science, 2007
Detection of strong unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1996
Detection of global state predicates
Distributed Algorithms, 1992
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Lecture Notes in Computer Science, 2004
Distributed predicate detection in a faulty environment
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)
Stable Predicate Detection in Dynamic Systems
Lecture Notes in Computer Science, 2006
Efficient detection of restricted classes of global predicates
Lecture Notes in Computer Science, 1995
Detection of global predicates: Techniques and their limitations
Distributed Computing, 1998
A Distributed Abstraction Algorithm for Online Predicate Detection
2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems
2010 IEEE 16th International Conference on Parallel and Distributed Systems, 2010
A Harmony Search Based Algorithm for Detecting Distributed Predicates
International Journal of Advanced Computer Science and Applications, 2012
An Artificial Bee Colony Algorithm for Detecting Distributed Predicates
International Journal of Distributed Systems and Technologies
Predicate Detection for Parallel Computations with Locking Constraints
2016
Monitoring distributed systems with distributed algorithms
Intractability results in predicate detection
Information Processing Letters, 2005
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing, 2004
Monitoring Functions on Global States of Distributed Programs
Journal of Parallel and Distributed Computing, 1997
Predicate Control for Active Debugging of Distributed Programs
International Parallel and Distributed Processing Symposium/International Parallel Processing Symposium, 1998
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems, 1985
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems, 2011
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing - PODC '00, 2000
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems, 2007
Modeling, analyzing and slicing periodic distributed computations
Information and Computation, 2014
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing, 2004
Global conditions in debugging distributed programs
Monitoring and debugging of distributed real-time systems, 1995
Detecting temporal logic predicates on the happened-before model
Proceedings 16th International Parallel and Distributed Processing Symposium, 2002
Consistent global states of distributed systems: Fundamental concepts and mechanisms
1994
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations
2015
Monitoring the behaviour of distributed systems
1996
Distributed and asynchronous discrete event systems diagnosis
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), 2003