EUROSYS

Independent optimization for workload and power management, and active cooling control have been studied extensively to improve data center energy efficiency. Recently, proposals have started to advocate unified workload, power, and cooling management ...

Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending on workload evolution. In this paper, we address both problems by ...

Automatic control appears to be an enabling technology to handle both the performance dispersion in highly integrated chips and computing power adaptability under varying loads and energy storage constraints. This work in progress paper presents a case ...

Multi-tier architectures are widely used by internet applications. Guaranteeing the performance, and more generally the quality of service (QoS), of such applications remains a crucial issue. In this paper we propose a methodology to get the optimal ...

Over the last decade, there has been great progress in using formal methods from control theory to design closed loops in software products. Despite this progress, formal methods are rarely used by software practitioners. One reason is the substantial ...

Although Cloud Computing provides a means to support remote, on-demand access top a set of computing resources, its ad-hoc management for quality-of-service and SLA poses significant challenges to the performance, availability and economical costs of ...

We summarize an approach to the discrete closed-loop control of adaptive and reconfigurable computing systems. We encapsulate discrete controller synthesis in a reactive programming language, in a model-based aproach.