3221 search results - page 134 / 645 » Termination of Linear Programs |
AMAST
2008
Springer
13 years 11 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 ...
COCO
2007
Springer
14 years 3 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
14 years 10 months ago
2009
Springer
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
APLAS
2010
ACM
13 years 10 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...