Reducing data center power with server consolidation: Approximation and evaluation | IEEE Conference Publication | IEEE Xplore