机译:分层实时系统的可调度性分析和工作量抽象的过程代数方法
Korea Univ, Seoul 136713, South Korea;
Univ Penn, Philadelphia, PA 19104 USA;
Univ Penn, Philadelphia, PA 19104 USA;
Korea Univ, Seoul 136713, South Korea;
Korea Univ, Seoul 136713, South Korea;
Korea Univ, Seoul 136713, South Korea;
Univ Seoul, Seoul 130743, South Korea;
ACSR; Process algebra; Real-time embedded systems; Hierarchical Scheduling;
机译:多核分布式系统中大型工作负载的节能调度的分层方法
机译:规范和分析资源绑定型实时系统的过程代数方法
机译:动态实时工作负载的半分区调度:一种基于分析驱动的负载平衡的实用方法
机译:实时系统中对象调度参数分析的过程代数方法
机译:过程代数方法对实时调度问题进行参数分析。
机译:基于T-L平面抽象的多核无线传感器节能实时调度
机译:分层实时系统的可调度性分析和工作量抽象的过程代数方法