3 search results - page 1 / 1 » Long-Run Cost Analysis by Approximation of Linear Operators ... |
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
IMC
2010
ACM
13 years 2 months ago
2010
ACM
Cost control for the Internet access providers (AP) influences not only the nominal speeds offered to the customers, but also other, more controversial, policies related to traffi...
SIAMJO
2010
13 years 2 months ago
2010
This paper introduces a novel algorithm to approximate the matrix with minimum nuclear norm among all matrices obeying a set of convex constraints. This problem may be understood a...