Energy-Aware Synchronization of Hardware Tasks in Virtualized Embedded Systems | IEEE Conference Publication | IEEE Xplore