LEneS: task scheduling for low-energy systems using variable supply voltage processors | IEEE Conference Publication | IEEE Xplore