Abstracts; Analytical models; Concrete; Mathematical model; Measurement; Numerical models; Trajectory; Based Methods; CEGAR; Falsification; Hybrid Systems; Multiple Shooting; Simulation;
机译:Xen-ARM虚拟机的实时调度
机译:用于Xen虚拟化系统的增强型实时Deferrable服务器调度程序
机译:Xen中用于并行应用程序的可感知同步的虚拟机调度
机译:Xen中的实时多核虚拟机调度
机译:Qsync:在Xen虚拟机管理程序中共同调度受约束的虚拟机。
机译:在具有统一多核的移动传感器上使用DPM进行能源高效的实时调度
机译:Xen中的实时多核虚拟机调度