Scheduling processor voltage and frequency in server and cluster systems | IEEE Conference Publication | IEEE Xplore