3515 search results - page 2 / 703 » Resource usage analysis |
APLAS
2009
ACM
14 years 24 days 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...
CSMR
1999
IEEE
13 years 10 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
APLAS
2003
ACM
13 years 10 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 ...
JSSPP
2005
Springer
13 years 11 months ago
2005
Springer
With Grids, we are able to share computing resources and to provide for scientific communities a global transparent access to local facilities. In such an environment the problems...
FM
2009
Springer
14 years 26 days 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...