Sciweavers

1485 search results - page 11 / 297
» Whole Program Paths
Sort
View
AMC
2005
127views more  AMC 2005»
15 years 4 months ago
The identification of nondominated and efficient paths on a network
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
Gholam Reza Jahanshahloo, F. Hosseinzadeh Lotfi, N...
MICRO
2006
IEEE
117views Hardware» more  MICRO 2006»
15 years 10 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...
CP
2005
Springer
15 years 10 months ago
Maintaining Longest Paths in Cyclic Graphs
Irit Katriel, Pascal Van Hentenryck
CP
2003
Springer
15 years 9 months ago
Maintaining Longest Paths Incrementally
Laurent Michel, Pascal Van Hentenryck