Microprocessor power estimation using profile-driven program synthesis | IEEE Journals & Magazine | IEEE Xplore