5 search results - page 1 / 1 » Finding Resource Bounds in the Presence of Explicit Dealloca... |
ICTAC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
OOPSLA
2004
Springer
14 years 4 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
EOR
2008
13 years 11 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
MICRO
1999
IEEE
14 years 3 months ago
1999
IEEE
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...