@inproceedings{depalma:hal-00784999, TITLE = {{QoS and Energy Management Coordination using Discrete Controller Synthesis}}, AUTHOR = {de Palma, No{\"e}l and Delaval, Gwena{\"e}l and Rutten, Eric}, URL = {https://inria.hal.science/hal-00784999}, BOOKTITLE = {{1st International Workshop on Green Computing Middleware (GCM'2010)}}, ADDRESS = {Bangalore, India}, YEAR = {2010}, MONTH = Nov, KEYWORDS = {Green Computing ; Autonomic Computing ; Synchronous Programming ; Discrete Controller Synthesis}, PDF = {https://inria.hal.science/hal-00784999/file/delaval-gcm10.pdf}, HAL_ID = {hal-00784999}, HAL_VERSION = {v1}, }