1695 search results - page 31 / 339 » Linear, Polynomial or Exponential |
96
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. ...
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
62
Voted
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
ISSAC
2005
Springer
15 years 6 months ago
2005
Springer
84
Voted
PODS
2009
ACM
15 years 5 months ago
2009
ACM
