3221 search results - page 37 / 645 » Termination of Linear Programs |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
CP
2003
Springer
14 years 1 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
IFIP
2003
Springer
14 years 1 months ago
2003
Springer
As the mobility and the number of affordable, powerful, and highly portable devices becoming networked increases, so will the amount of networked services offered, managed and disc...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
POPL
1996
ACM
14 years 1 hour ago
1996
ACM
