Hao He, Jiang Hu, Dilma Da Silva. Enhancing Datacenter Resource Management through Temporal Logic Constraints. In 2017 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2017, Orlando, FL, USA, May 29 - June 2, 2017. pages 133-142, IEEE Computer Society, 2017. [doi]
Abstract is missing.