3951 search results - page 1 / 791 » Automatic amortized analysis |
101
Voted
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
97
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
APLAS
2010
ACM
15 years 1 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...
125
Voted
IV
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
98
Voted
SOFSEM
2010
Springer
15 years 9 months ago
2010
Springer