退出
我的积分:
中文文献批量获取
外文文献批量获取
王永吉; 陈秋萍;
中国科学院,软件研究所,互联网软件技术实验室,北京,100080;
中国科学院;
研究生院;
北京;
100039;
实时系统; 实时操作系统; 实时调度; RM算法; 可调度性判定;
机译:基于改进时间需求分析的多处理器环境速率单调算法的可调度性分析
机译:使用UML-RT的速率单调算法最短作业优先的可调度性分析
机译:任务自动机:可调度性,可判定性和不可判定性
机译:基于响应时间分析的速率单调可调度性的充分条件
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:Banach空间中可数最大单调映射和弱相对非扩展映射的投影算法的新构造和证明技术
机译:一种改进的速率单调可调度性测试算法
机译:速率单调调度算法的ada验证测试
机译:用于分析非线性任务可调度性的多项式时间算法
机译:应用FFT算法的频率分析装置和异常判定装置以及异常判定系统无效
机译:可调度性确定系统,可调度性确定方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。