Coordinated, distributed, formal energy management of chip multiprocessors | IEEE Conference Publication | IEEE Xplore