199 search results - page 2 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
102
click to vote
OPODIS
2003
14 years 11 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...
ICPADS
1994
IEEE
15 years 1 months ago
1994
IEEE
62
Voted
SSS
2010
Springer
14 years 7 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
ASYNC
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an apparatus used to distribute a timing reference or clock across the extent of a digital system. Selftimed circuitry both generates and distributes a clock signal, wh...
ACSC
2006
IEEE
15 years 3 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...