Indexes; Interference; Processor scheduling; Real-time systems; Schedules; Time factors; Upper bound;
机译:使用进位限制的非抢先固定优先级多处理器调度的改进可调度性分析
机译:用于多处理器全局固定优先级调度中的零星任务的精确可调度性测试的预定关系
机译:非抢先固定优先级多处理器调度的可调度性分析
机译:完善全局固定优先级多处理器调度的响应时间分析
机译:多处理器软实时调度的成分分析技术。
机译:三磷酸腺苷亲和探针的应用和计划的多反应监测分析全球细胞组中亚砷酸盐治疗的反应。
机译:使用符号模型检查的全局固定优先级或EDF多处理器调度的可调度性分析*