Reducing Cloud Expenditures and Carbon Emissions via Virtual Machine Migration and Downsizing | IEEE Conference Publication | IEEE Xplore