54 search results - page 2 / 11 » A Usage Analysis with Bounded Usage Polymorphism and Subtypi... |
APLAS
2009
ACM
13 years 12 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
POPL
2003
ACM
14 years 5 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
INFOCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
FM
2009
Springer
14 years 12 hour ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
BCSHCI
2009
13 years 3 months ago
2009
Online communities of different types have become an important part of the daily internet life of many people within the last couple of years. Both research and business have show...