Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations | IEEE Conference Publication | IEEE Xplore