-
1
-
-
0005501150
-
Distributedreac hability analysis for protocol verification environments
-
Springer
-
S. Aggarwal, R. Alonso, and C. Courcoubetis. Distributedreac hability analysis for protocol verification environments. In Discrete Event Systems: Models and Application, volume 103 of LNCS, pages 40–56. Springer, 1987.
-
(1987)
Discrete Event Systems: Models and Application, Volume 103 of LNCS
, pp. 40-56
-
-
Aggarwal, S.1
Alonso, R.2
Courcoubetis, C.3
-
2
-
-
84894619258
-
DistributedLTL Model-Checking in SPIN
-
Springer
-
J. Barnat, L. Brim, and J. Stříbrná. DistributedLTL Model-Checking in SPIN. In Proc. SPIN 2001, volume 2057 of LNCS, pages 200–216. Springer, 2001.
-
(2001)
Proc. SPIN 2001, Volume 2057 of LNCS
, pp. 200-216
-
-
Barnat, J.1
Brim, L.2
Stříbrná, J.3
-
3
-
-
84944389561
-
Distributedtimedmo del checking — how the search order matters
-
Springer
-
G. Behrmann, T. S. Hune, and F. W. Vaand rager. Distributedtimedmo del checking — how the search order matters. In Proc. CAV 2000, volume 1855 of LNCS, pages 216–231. Springer, 2000.
-
(2000)
Proc. CAV 2000, Volume 1855 of LNCS
, pp. 216-231
-
-
Behrmann, G.1
Hune, T.S.2
Vaand Rager, F.W.3
-
5
-
-
84903214497
-
Parallel model checking for the alternation free mu-calculus
-
Springer
-
B. Bollig, M. Leucker, and M Weber. Parallel model checking for the alternation free mu-calculus. In Proc. TACAS 2001, volume 2031 of LNCS, pages 543–558. Springer, 2001.
-
(2001)
Proc. TACAS 2001, Volume 2031 of LNCS
, pp. 543-558
-
-
Bollig, B.1
Leucker, M.2
Weber, M.3
-
6
-
-
11244311379
-
-
Technical Report FIMU-RS-2001-01, Faculty of Informatics, Masaryk University Brno
-
L. Brim, I. Černá, P. Krčál, and R. Pelánek. Distributedshortest path for directed graphs with negative edge lengths. Technical Report FIMU-RS-2001-01, Faculty of Informatics, Masaryk University Brno, http://www.fi.muni.cz/informatics/reports/, 2001.
-
(2001)
Distributedshortest Path for Directed Graphs with Negative Edge Lengths
-
-
Brim, L.1
Černá, I.2
Krčál, P.3
Pelánek, R.4
-
9
-
-
13244264026
-
Progress on the state explosion problem in model checking
-
Springer
-
E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Progress on the state explosion problem in model checking. In Informatics - 10 Years Back. 10 Years Ahead, volume 2000 of LNCS, pages 176–194. Springer, 2001.
-
(2001)
Informatics - 10 Years Back. 10 Years Ahead, Volume 2000 of LNCS
, pp. 176-194
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
10
-
-
0030367403
-
Efficient parallel shortest-paths in digraphs with a separator decomposition
-
E. Cohen. Efficient parallel shortest-paths in digraphs with a separator decomposition. Journal of Algorithms, 21(2):331–357, 1996.
-
(1996)
Journal of Algorithms
, vol.21
, Issue.2
, pp. 331-357
-
-
Cohen, E.1
-
12
-
-
84896773698
-
A parallelization of Dijkstra’s shortest path algorithm
-
Springer
-
A. Crauser, K. Mehlhorn, U. Meyer, and P. Sanders. A parallelization of Dijkstra’s shortest path algorithm. In Proc. MFCS 1998, volume 1450 of LNCS, pages 722–731. Springer, 1998.
-
(1998)
Proc. MFCS 1998, Volume 1450 of LNCS
, pp. 722-731
-
-
Crauser, A.1
Mehlhorn, K.2
Meyer, U.3
Sanders, P.4
-
13
-
-
84947761319
-
Efficient sequential and parallel algorithms for the negative cycle problem
-
Springer
-
P. Spirakis, D. Kavvadias, G. Pantziou and C. Zaroliagis. Efficient sequential and parallel algorithms for the negative cycle problem. In Proc. ISAAC 1994, volume 834 of LNCS, pages 270–278. Springer, 1994.
-
(1994)
Proc. ISAAC 1994, Volume 834 of LNCS
, pp. 270-278
-
-
Spirakis, P.1
Kavvadias, D.2
Pantziou, G.3
Zaroliagis, C.4
-
15
-
-
84944382125
-
Achieving scalability in parallel reachability analysis of very large circuits
-
Springer
-
T. Heyman, D. Geist, O. Grumberg, and A. Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In Proc. CAV 2000, volume 1855 of LNCS, pages 20–35. Springer, 2000.
-
(2000)
Proc. CAV 2000, Volume 1855 of LNCS
, pp. 20-35
-
-
Heyman, T.1
Geist, D.2
Grumberg, O.3
Schuster, A.4
-
20
-
-
0003168631
-
On finding and updating shortest paths distributively
-
K. Ramarao and S. Venkatesan. On finding and updating shortest paths distributively. Journal of Algorithms, 13:235–257, 1992.
-
(1992)
Journal of Algorithms
, vol.13
, pp. 235-257
-
-
Ramarao, K.1
Venkatesan, S.2
-
21
-
-
0022075817
-
Depth-first search is inherrently sequential
-
J.H. Reif. Depth-first search is inherrently sequential. Information Processing Letters, 20(5):229–234, 1985.
-
(1985)
Information Processing Letters
, vol.20
, Issue.5
, pp. 229-234
-
-
Reif, J.H.1
-
24
-
-
0001790593
-
Depth first search and linear graph algorithms
-
R. Tarjan. Depth first search and linear graph algorithms. SIAM Journal on computing, pages 146–160, 1972.
-
(1972)
SIAM Journal on Computing
, pp. 146-160
-
-
Tarjan, R.1
-
25
-
-
4243376059
-
A simple parallel algorithm for the single-source shortest path problem on planar digraphs
-
Springer
-
J. Traff and C.D. Zaroliagis. A simple parallel algorithm for the single-source shortest path problem on planar digraphs. In Proc. IRREGULAR-3 1996, volume 1117 of LNCS, pages 183–194S. Springer, 1996.
-
(1996)
Proc. IRREGULAR-3 1996, Volume 1117 of LNCS
, pp. 183S-194S
-
-
Traff, J.1
Zaroliagis, C.D.2
-
26
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
Computer Society Press
-
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. LICS 1986, pages 332–344. Computer Society Press, 1986.
-
(1986)
Proc. LICS 1986
, pp. 332-344
-
-
Vardi, M.Y.1
Wolper, P.2
|