Search Sciweavers | Sciweavers

524 search results - page 8 / 105

» Temporal reachability graphs

click to vote

FCS
2006

240views Computer Science» more FCS 2006»

Negative-Weight Cycle Algorithms

13 years 10 months ago

Download ww1.ucmss.com

The problem of finding a negative cycle in a weighted, directed graph is discussed here. First the algorithm for printing out a negative cycle reachable from the source s, with th...

Xiuzhen Huang

claim paper

Read More »

click to vote

DEDS
2002

106views more DEDS 2002»

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

13 years 8 months ago

Download ls4-www.informatik.uni-dortmund.de

We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...

Peter Buchholz, Peter Kemper

claim paper

Read More »

click to vote

SCAM
2008
IEEE

93views Software Engineering» more SCAM 2008»

User-Input Dependence Analysis via Graph Reachability

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Bug-checking tools have been used with some success in recent years to ﬁnd bugs in software. For ﬁnding bugs that can cause security vulnerabilities, bug checking tools requir...

Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes

claim paper

Read More »

click to vote

EDBT
2008
ACM

177views Database» more EDBT 2008»

Fast computing reachability labelings for large graphs with high compression rate

14 years 8 months ago

Download www.se.cuhk.edu.hk

Jiefeng Cheng, Jeffrey Xu Yu, Xuemin Lin, Haixun W...

claim paper

Read More »