ABSTRACTGlobal predicate detection is a fundamental problem in distributed computing in the areas of distributed debug-ging and software fault-tolerance. It requires searching the global state lattice of a computation to determine if anyconsistent global state satisfies the given predicate. We give an efficient algorithm that perform the lex traversal ofthe lattice. We also give a space efficient algorithm for the breadth-first-search (BFS) traversal. KEY WORDSGlobal Predicate Detection, Combinatorial Enumeration
This paper presents a general framework for specification and detection of properties in distributed...
This paper discusses ecient distributed detection of global conjunctive predicates in a distributed ...
This paper discusses efficient detection of global predicates in a distributed program. Previous wor...
textDetecting the existence of a consistent global state that satisfies a predicate in a distribute...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
We show that the problem of predicate detection in distributed systems is NP-complete. We introduce ...
Detecting global predicates of a distributed computation is a key problem in testing and debugging d...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequ...
Verifying the correctness of executions of concurrent and distributed programs is difficult because ...
In this thesis, we address part of the predicate detection problem on distributed computations. We i...
This paper discusses efficient detection of global predicates in a distributed program. Previous wor...
A new approach is presented for detecting whether a particular computation of an asynchronous distri...
Global predicate detection is a fundamental problem in distributed systems and finds applications in...
The detection of global predicates is one of the fundamental problems in distributed computing. The ...
This paper presents a general framework for specification and detection of properties in distributed...
This paper discusses ecient distributed detection of global conjunctive predicates in a distributed ...
This paper discusses efficient detection of global predicates in a distributed program. Previous wor...
textDetecting the existence of a consistent global state that satisfies a predicate in a distribute...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
We show that the problem of predicate detection in distributed systems is NP-complete. We introduce ...
Detecting global predicates of a distributed computation is a key problem in testing and debugging d...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequ...
Verifying the correctness of executions of concurrent and distributed programs is difficult because ...
In this thesis, we address part of the predicate detection problem on distributed computations. We i...
This paper discusses efficient detection of global predicates in a distributed program. Previous wor...
A new approach is presented for detecting whether a particular computation of an asynchronous distri...
Global predicate detection is a fundamental problem in distributed systems and finds applications in...
The detection of global predicates is one of the fundamental problems in distributed computing. The ...
This paper presents a general framework for specification and detection of properties in distributed...
This paper discusses ecient distributed detection of global conjunctive predicates in a distributed ...
This paper discusses efficient detection of global predicates in a distributed program. Previous wor...
Add to ORKG