Energy-efficient resource allocation and provisioning for in-memory database clusters | IEEE Conference Publication | IEEE Xplore