退出
我的积分:
中文文献批量获取
外文文献批量获取
张啸然;
中国科学技术大学 计算机科学与技术学院 合肥230027;
中国科学技术大学 苏州研究院软件安全实验室 江苏 苏州215123;
优先级调度; 形式化验证; 操作系统内核; Coq;
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:避免基于资源恢复的实时系统中的优先级反转。
机译:实时Web服务中通过优先级反转来减少延迟的集成调度
机译:递归优先级继承协议,用于解决实时操作系统中的优先级反转问题
机译:实时操作系统中的内存管理
机译:带有验证的牙科植入物的有限元分析:我们可以期望模型在多大程度上预测生物学现象?文献综述和验证过程分类建议
机译:用于解决Microc / OS-II实时操作系统中的优先级反转问题的临时优先顺序交换协议的设计与实现
机译:集成模块化航空电子系统中的实时操作系统集成和组件集成注意事项手册
机译:经验证可以通过一种新的几何成形过程在整个设备范围内准确地进行角对分;同样有能力描绘有限的长度,而只有通过以其他方式将罗盘和直尺应用到给定的团结长度中,才能体现有限的长度;可以将更多功能作为固有的几何结构用于其他许多用途,例如,将其整合到液压汽车举升装置的设计中
机译:用于在实时操作系统中验证Code算法实现的适用性的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。