Distributed Predicate Detection in Series-Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
IEEE Transactions on Software Engineering
On the Complexity of the Minimum and Maximum Global Snapshot Problems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An efficient minimum and maximum global snapshot algorithm
Information Processing Letters
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Detection of global predicates: techniques and their limitations
Distributed Computing
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Techniques and applications of computation slicing
Distributed Computing
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Producing Short Counterexamples Using "Crucial Events"
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
On Detecting Regular Predicates in Distributed Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Hi-index | 0.00 |