1485 search results - page 7 / 297 » Whole Program Paths |
SAS
2010
Springer
14 years 10 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...
71
Voted
TOOLS
1998
IEEE
15 years 3 months ago
1998
IEEE
42
Voted
ICALP
1989
Springer
15 years 3 months ago
1989
Springer
POPL
2010
ACM
15 years 9 months ago
2010
ACM
GLOBECOM
2008
IEEE
15 years 6 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) ...