3221 search results - page 134 / 645 » Termination of Linear Programs |
119
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
118
click to vote
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
110
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
116
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...