Profile-based dynamic voltage scheduling using program checkpoints | IEEE Conference Publication | IEEE Xplore