1695 search results - page 31 / 339 » Linear, Polynomial or Exponential |
125
Voted
ESOP
2010
Springer
16 years 1 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. ...
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
100
Voted
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
