In order to reduce energy consumption of data centers while employing infrastructure resource effectively, a comprehensive resource management method using an improved online energy saving mapping algorithm for virtual machines of data centers is proposed. An intelligent feedback management framework is built for online resource optimization. We propose reinforcement learning and threshold base...

The paper describes a unified formal framework for designing and reasoning about power-constrained, realtime systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows the modeling of probabilistic resource failures, priorities of resource usages, and power consumption by resou...

In this paper we present an approach to check resource consumption contracts using an off-theshelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both ...

We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. More precisely, a consumption game is a finite-state graph where each transition is labeled by a vector of resource updates, where every update is a non-positive number or ω. The ω updates model the reloading of a given resource. Each vertex belongs either...

This paper describes costa, a cost and termination analyzer for Java bytecode. The system receives as input a bytecode program and a selection of a resources of interest, and tries to bound the resource consumption of the program with respect to such a cost model. costa provides several non-trivial notions of resource, as the consumption of the heap, the number of bytecode instructions executed...

In contrast to the original investigation by William Stanley Jevons, compensations of energy savings due to improved energy efficiency are mostly analyzed by providing energy consumption or greenhouse gas emissions. In support of a sustainable resource management, this paper analyzes so-called rebound effects based on resource use. Material flows and associated expenditures by households allow ...

The goal of network design is to meet the needs of resident applications in an eecient manner. Adding real-time service and point-to-multipoint multicast routing to the In-ternet's traditional point-to-point best eeort service model will greatly increase the Internet's eeciency in handling point-to-multipoint real-time applications. Recently, the RSVP resource reservation protocol has introduce...

It is challenging to reduce the processor power consumption while meeting the processor resource requirement of distributed multimedia applications in portable computers. This paper presents a middleware framework coordinating the Processor/Power Resource Management (PPRM) in mobile computing environment. Our framework has four major contributions: (1) providing a power-aware resource reservati...