1485 search results - page 7 / 297 » Whole Program Paths |
126
Voted
SAS
2010
Springer
15 years 1 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...
102
Voted
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
ICALP
1989
Springer
15 years 6 months ago
1989
Springer
104
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
130
Voted
GLOBECOM
2008
IEEE
15 years 9 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) ...