Bounds on power savings using runtime dynamic voltage scaling: an exact algorithm and a linear-time heuristic approximation | IEEE Conference Publication | IEEE Xplore