Fine-Grained Energy Estimation and Optimization of Embedded Operating Systems | IEEE Conference Publication | IEEE Xplore