Resource allocation and consolidation in a multi-core server cluster using a Markov decision process model | IEEE Conference Publication | IEEE Xplore