退出
我的积分:
中文文献批量获取
外文文献批量获取
梁昊1; 艾云峰2; 沈怀荣3; 赵永超4;
[1]装备学院,研究生管理大队,北京;
[2]中国科学院大学,工程管理与信息技术学院,北京;
[3]装备学院,航天装备系,北京;
[4]国防大学,作战与指挥训练教研部,北京;
实时嵌入式系统; 并发程序; 多重中断; 多线程; 并发错误;
机译:使嵌入式系统更安全:实时操作系统VxWorks 7现在可提供CodeMeter安全性
机译:风河支持嵌入式系统开发实时操作系统“ VxWorks”活跃于众多领域
机译:并发程序的精确切片:对并发程序的静态切片算法的评估
机译:并发程序动态测试中无限循环和活锁的自发检测
机译:CATDS(计算机辅助工具设计系统):开发集成体系结构,以结合粉末冶金工具设计知识和常规计算机辅助设计系统。
机译:单人操作和并发程序中测量的钢筋选择效果。
机译:VxWorks系统并发程序动态检查工具的设计
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性
机译:并发程序的动态测试生成
机译:并发程序支持设备和并发程序如何创建和并发程序执行设备
机译:渔网工具设计支持设备,钓鱼网工具设计支持方法,以及钓鱼网工具设计支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。