31 search results - page 1 / 7 » Detection of Global Predicates: Techniques and Their Limitat... |
DC
1998
13 years 4 months ago
1998
We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates suc...
ICPADS
1994
IEEE
13 years 9 months ago
1994
IEEE
WDAG
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
OPODIS
2003
13 years 6 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...