High-level power modeling, estimation, and optimization | IEEE Journals & Magazine | IEEE Xplore