Sciweavers

3678 search results - page 70 / 736
» On the Stable Paths Problem
Sort
View
IWSOS
2009
Springer
14 years 5 months ago
Self-organization of Internet Paths
The Internet consists of a constantly evolving complex hierarchical architecture where routers are grouped into autonomous systems (ASes) that interconnect to provide global connec...
Tom Kleiberg, Piet Van Mieghem
CORR
2010
Springer
100views Education» more  CORR 2010»
13 years 11 months ago
Shortest paths between shortest paths and independent sets
We study problems of reconguration of shortest paths in graphs. We prove that the shortest reconguration sequence can be exponential in the size of the graph and that it is NP-hard...
Marcin Kaminski, Paul Medvedev, Martin Milanic
MICRO
2006
IEEE
117views Hardware» more  MICRO 2006»
14 years 5 months ago
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep T...
COMPGEOM
2007
ACM
14 years 3 months ago
Traversing a set of points with a minimum number of turns
Given a finite set of points S in Rd , consider visiting the points in S with a polygonal path which makes a minimum number of turns, or equivalently, has the the minimum number o...
Sergey Bereg, Prosenjit Bose, Adrian Dumitrescu, F...
IPL
2006
86views more  IPL 2006»
13 years 11 months ago
Mu-calculus path checking
We investigate the path model checking problem for the
Nicolas Markey, Ph. Schnoebelen