1743 search results - page 56 / 349 » Language resources for Hebrew |
101
click to vote
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
247
click to vote
CIDR
2011
14 years 3 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
APLAS
2009
ACM
15 years 6 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...
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...