机译:具有固定偏移量的全局多处理器调度的模型检查方法
Real-time scheduling; Multiprocessor scheduling; Schedulability analysis; Model-checking;
机译:具有固定偏移量的全局多处理器调度的模型检查方法
机译:使用进位限制的非抢先固定优先级多处理器调度的改进可调度性分析
机译:非抢先固定优先级多处理器调度的可调度性分析
机译:具有符号模型检查的全局固定优先级或EDF多处理器调度的调度分析
机译:多处理器调度的一般方法。
机译:使用固定时间的灭绝时间表和线性分析研究行为动力学。
机译:使用符号模型检查的全局固定优先级或EDF多处理器调度的可调度性分析*