Intractability results in predicate detection (original) (raw)
Related papers
Efficient detection of restricted classes of global predicates
Lecture Notes in Computer Science, 1995
On Detecting Global Predicates in Distributed Computations
2001
Detection of global predicates: Techniques and their limitations
Distributed Computing, 1998
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing, 2007
Deriving distributed algorithms from a general predicate detector
computer software and applications conference, 1995
Distributed predicate detection in a faulty environment
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)
A Distributed Abstraction Algorithm for Online Predicate Detection
2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
Detection of Conjunctive Stable Predicates in Dynamic Systems
2009 15th International Conference on Parallel and Distributed Systems, 2009
On Checking Whether a Predicate Definitely Holds
Lecture Notes in Computer Science, 2004
Global Predicate Detection in Distributed Systems with Small Faults
Lecture Notes in Computer Science, 2007
Efficient Detection of Channel Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, 1997
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing, 2004
Detection of global state predicates
Distributed Algorithms, 1992
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems, 2011
A Harmony Search Based Algorithm for Detecting Distributed Predicates
International Journal of Advanced Computer Science and Applications, 2012
Detection of weak unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1994
Detection of strong unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1996
Predicate Detection for Parallel Computations with Locking Constraints
2016
Stable Predicate Detection in Dynamic Systems
Lecture Notes in Computer Science, 2006
The complexity of computing hard core predicates
Lecture Notes in Computer Science, 1997
Brief Announcement: On Polynomial-Time Local Decision
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing
Detecting temporal logic predicates on the happened-before model
Proceedings 16th International Parallel and Distributed Processing Symposium, 2002
Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems
2010 IEEE 16th International Conference on Parallel and Distributed Systems, 2010
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems, 2007
Maximal Antichain Lattice Algorithms for Distributed Computations
Lecture Notes in Computer Science, 2013
An Artificial Bee Colony Algorithm for Detecting Distributed Predicates
International Journal of Distributed Systems and Technologies
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Lecture Notes in Computer Science, 2004
Finding satisfying global states: all for one and one for all
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.
A Meta-Theorem for Distributed Certification
Cornell University - arXiv, 2021
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05, 2005
General Hardness Amplification of Predicates and Puzzles
ArXiv, 2010
Complexity Bounds on General Hard-Core Predicates
Journal of Cryptology, 2001
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing, 2004
On polynomial time computation over unordered structures
Journal of Symbolic Logic, 2002
A Distributed Algorithm to Evaluate Quantified Boolean Formulae
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, 2000