68 search results - page 4 / 14 » Distributed Negative Cycle Detection Algorithms |
140
click to vote
PDP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper shows a new distributed algorithm for deadlock detection and resolution under the single-resource request model that highly improves the complexity measurements of prev...
147
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper we address the problem of energyefficient event detection in wireless sensor networks (WSNs). Duty cycling is a fundamental approach to conserving energy i...
118
click to vote
ENTCS
2006
15 years 4 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
120
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
144
click to vote
WDAG
2007
Springer
15 years 10 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 ...