Sciweavers

1695 search results - page 31 / 339
» Linear, Polynomial or Exponential
Sort
View
ESOP
2010
Springer
16 years 2 months ago
Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs
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. ...
Jan Hoffmann and Martin Hofmann
ISSAC
2005
Springer
81views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Fast algorithms for polynomial solutions of linear differential equations
Alin Bostan, Thomas Cluzeau, Bruno Salvy