Energy Efficient VM Scheduling for Cloud Data Centers: Exact Allocation and Migration Algorithms | IEEE Conference Publication | IEEE Xplore