退出
我的积分:
中文文献批量获取
外文文献批量获取
朱承丞; 董利达;
浙江大学电子电路与信息系统研究所;
杭州师范大学国际服务工程学院;
多线程软件; Petri网; S*PR网; 死锁检测; 混合整数规划;
机译:消除多线程软件中的并发错误:一种基于离散事件控制的新方法
机译:多线程软件中的并发性错误:使用Petri网进行建模和分析
机译:结合静态和动态分析的软件漏洞检测方法
机译:消除多线程软件中的并发错误:一种基于Petri网控制的方法
机译:一种硬件 - 软件集成解决方案,可提高单指令多线程处理器效率
机译:验证蒙特卡罗Geant4多线程代码在网格计算上的Varian LinaC的6MV光子束的多线程代码
机译:添加到阅览室阅读软件下载与<<压电裁剪增强机电耦合对并发周期结构的并发振动控制>>相似的文献
机译:并发漏洞的检测方法和系统
机译:最大化多线程软件程序中的并发错误检测
机译:并发多线程软件的静态分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。