3 search results - page 1 / 1 » Long-Run Cost Analysis by Approximation of Linear Operators ... |
82
Voted
AMAST
2008
Springer
15 years 8 days 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 ...
115
Voted
IMC
2010
ACM
14 years 8 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...
118
Voted
SIAMJO
2010
14 years 8 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...