Energy-optimal dynamic voltage scaling for sporadic tasks | IEEE Conference Publication | IEEE Xplore