Dynamic virtual machine allocation in cloud server facility systems with renewable energy sources | IEEE Conference Publication | IEEE Xplore