AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在大型多线程应用程序中查找复杂的并发错误
Fonseca P.; Li C.; Rodrigues R.;
机译:多线程不规则应用的高级合成自动化错误检测
机译:使用随机隔离查找与并发相关的错误
机译:芯片多处理器上运行的多线程应用程序并行重用距离分布的解析推导
机译:查找和容忍并发错误
机译:寻找最优驾驶员节点以控制复杂网络的新算法及其在药物靶标识别中的应用
机译:用于检查分布式并发错误的模型检查器
机译:查找分布式并发错误的模型检查器
机译:并发软件测试具有发现错误的概率界限
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。