Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling | IEEE Journals & Magazine | IEEE Xplore