68 search results - page 1 / 14 » Distributed Negative Cycle Detection Algorithms |
PARCO
2003
13 years 6 months ago
2003
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
FAW
2009
Springer
13 years 11 months ago
2009
Springer
ISAAC
1994
Springer
13 years 9 months ago
1994
Springer
We present here an algorithm for detecting (and outputting, if exists) a negative cycle in an n-vertex planar digraph G with real
ESA
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we will describe some heuristics that can be used to improve the runtime of a wide range of commonly used algorithms for the negative cycle detection problem signiï¬...