199 search results - page 2 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
116
click to vote
OPODIS
2003
15 years 1 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...
92
Voted
ICPADS
1994
IEEE
15 years 3 months ago
1994
IEEE
75
Voted
SSS
2010
Springer
14 years 10 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...
78
Voted
ASYNC
2005
IEEE
15 years 5 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 5 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...