processor scheduling; operating system kernels; inheritance; protocols; formal specification; process algebra; queueing theory; portable real-time operating system kernel; task scheduling; event handling; priority inheritance protocol; priority ceiling; priority-inversion problem; multiple task blocking; deadlock; priority ceiling protocol; single processor platform; real-time process algebra; formal specification notation; static behavior; dynamic behaviour; multi-queue based scheduling system;
机译:RTOS +的实时任务调度算法
机译:在欧盟的医疗保健行业中执行有关患者处理任务的手动处理指令
机译:使用具有难忘事件的定时离散事件模型对周期性和零星任务进行可调度性分析
机译:在RTOS +中实现任务调度和事件处理
机译:实施图片活动时间表以促进自闭症学生的在职行为和日程安排行为
机译:PEP不会省略但实现任务集重新配置。它可以处理更多诊断内源性控制的现象吗?
机译:通过基于值的过载处理和任务迁移来增强时间触发的调度
机译:计算机软件技术在人为因素任务数据处理问题中的实施最终报告,1967年6月21日 - 1967年6月30日