We introduce the Resource Aware Programming framework, which allows users to monitor the resources used by their programs and to programmatically express policies for the management of such resources. The framework is based on a notion of hierarchical groups, which act as resource containers for the computations they sponsor. Asynchronous notifications for resource exhaustion and for computation termination can be handled by arbitrary user code, which is also executed under the control of this hierarchical group structure. Resources are manipulated by the programmer using resource descriptors, whose operations are specified by a resource algebra. In this paper, we overview the Resource Aware Programming framework and describe its semantics ...
Abstract. Resource usage is one of the most important characteristics of programs. Automatically gen...
We present a program logic for reasoning about resource consumption of programs written in Grail, an...
Abstract. Resource management is a precondition to build reliable, extensible middleware and to host...
AbstractWe introduce a reasoning infrastructure for proving statements about resource consumption in...
We introduce a reasoning infrastructure for proving statements on resource consumption in an abstrac...
International audienceThis paper reports the development of D-RAJE (Distributed Resource-Aware Java ...
Software systems in many circumstances need an awareness of their resource impact on the underlying ...
We describe three contributions for distributed resource allocation in scientific applications. Firs...
As machine-to-machine networks become larger and more pervasive, manual configuration and discovery ...
Millions of computers are now connected together by the Internet. At a fast pace, applications are t...
This paper reports the development of the Concerto platform, which is dedicated to supporting the d...
Millions of computers are now connected together by the Internet. At a fast pace, applications are t...
Managing hardware resources is important to write efficient software, which conserves energy, time, ...
This paper reports the development of the Concerto platform, which is dedicated to supporting the de...
Language run-time systems are often called upon to safely execute mutually distrustful tasks within ...
Abstract. Resource usage is one of the most important characteristics of programs. Automatically gen...
We present a program logic for reasoning about resource consumption of programs written in Grail, an...
Abstract. Resource management is a precondition to build reliable, extensible middleware and to host...
AbstractWe introduce a reasoning infrastructure for proving statements about resource consumption in...
We introduce a reasoning infrastructure for proving statements on resource consumption in an abstrac...
International audienceThis paper reports the development of D-RAJE (Distributed Resource-Aware Java ...
Software systems in many circumstances need an awareness of their resource impact on the underlying ...
We describe three contributions for distributed resource allocation in scientific applications. Firs...
As machine-to-machine networks become larger and more pervasive, manual configuration and discovery ...
Millions of computers are now connected together by the Internet. At a fast pace, applications are t...
This paper reports the development of the Concerto platform, which is dedicated to supporting the d...
Millions of computers are now connected together by the Internet. At a fast pace, applications are t...
Managing hardware resources is important to write efficient software, which conserves energy, time, ...
This paper reports the development of the Concerto platform, which is dedicated to supporting the de...
Language run-time systems are often called upon to safely execute mutually distrustful tasks within ...
Abstract. Resource usage is one of the most important characteristics of programs. Automatically gen...
We present a program logic for reasoning about resource consumption of programs written in Grail, an...
Abstract. Resource management is a precondition to build reliable, extensible middleware and to host...