An O(Log Log m)-Competitive Algorithm for Online Machine Minimization | IEEE Conference Publication | IEEE Xplore