MARACAS: A Real-Time Multicore VCPU Scheduling Framework | IEEE Conference Publication | IEEE Xplore