Sciweavers

31 search results - page 1 / 7
» Detection of Global Predicates: Techniques and Their Limitat...
Sort
View
DC
1998
15 years 3 months ago
Detection of Global Predicates: Techniques and Their Limitations
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...
Craig M. Chase, Vijay K. Garg
128
Voted
ICPADS
1994
IEEE
15 years 8 months ago
Techniques to Tackle State Explosion in global Predicate Detection
Sridhar Alagar, Subbarayan Venkatesan
WDAG
2007
Springer
132views Algorithms» more  WDAG 2007»
15 years 10 months ago
Detecting Temporal Logic Predicates on Distributed Computations
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 ...
Vinit A. Ogale, Vijay K. Garg
OPODIS
2003
15 years 5 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
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...
Alper Sen, Vijay K. Garg
ACSC
2006
IEEE
15 years 10 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
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...
Anirban Majumdar, Clark D. Thomborson