Energy leakage in low power embedded operating systems using DVFS policy | IEEE Conference Publication | IEEE Xplore