Solving Computation Slicing Using Predicate Detection (original) (raw)
Related papers
On slicing a distributed computation
Proceedings 21st International Conference on Distributed Computing Systems
Computation Slicing: Techniques and Theory
2001
A Distributed Abstraction Algorithm for Online Predicate Detection
2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
Techniques and applications of computation slicing
Distributed Computing, 2005
On Detecting Global Predicates in Distributed Computations
2001
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Lecture Notes in Computer Science, 2004
Efficient detection of restricted classes of global predicates
Lecture Notes in Computer Science, 1995
Finding satisfying global states: all for one and one for all
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.
Modeling, analyzing and slicing periodic distributed computations
Information and Computation, 2014
Distributed slicing and partial re-execution for distributed programs
Lecture Notes in Computer Science, 1993
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations
2015
On optimal slicing of parallel programs
Proceedings of the thirty-third annual ACM symposium on Theory of computing - STOC '01, 2001
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
Efficient Detection of Channel Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, 1997
Predicate Detection for Parallel Computations with Locking Constraints
2016
Intractability results in predicate detection
Information Processing Letters, 2005
Assertion-based slicing and slice graphs
Formal Aspects of Computing, 2012
Dynamic slicing of distributed object-oriented programs
IET Software, 2011
A Parallel Algorithm for Static Program Slicing
Information Processing Letters, 1995
Maximal Antichain Lattice Algorithms for Distributed Computations
Lecture Notes in Computer Science, 2013
Detection of strong unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1996
Dynamic Slicing of Programs Under Distributed Environment
2012
Software Fault Tolerance of Distributed Programs Using Computation Slicing
International Conference on Distributed Computing Systems, 2003
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
Lecture Notes in Computer Science, 2004
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing, 2004
Detection of weak unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1994
Detection of global state predicates
Distributed Algorithms, 1992
Detection of global predicates: Techniques and their limitations
Distributed Computing, 1998
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing, 2004
Dynamic slicing of concurrent specification languages
Parallel Computing, 2016
Distributed dynamic slicing of Java programs
Journal of Systems and Software, 2006
On Checking Whether a Predicate Definitely Holds
Lecture Notes in Computer Science, 2004