Real-time scheduling in a virtualized CE device | IEEE Conference Publication | IEEE Xplore