1485 search results - page 7 / 297 » Whole Program Paths |
SAS
2010
Springer
13 years 5 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
TOOLS
1998
IEEE
13 years 11 months ago
1998
IEEE
ICALP
1989
Springer
13 years 11 months ago
1989
Springer
POPL
2010
ACM
14 years 4 months ago
2010
ACM
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—The routing problem in Wireless Mesh Networks is concerned with finding “good” source-destination paths. It generally faces multiple objectives to be optimized, such as i) ...