AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:针对多线程面向对象程序的高效精确Datarace检测
Jong-deok Choi; Keunwoo Lee; Alexey Loginov; Robert Oapos; Vivek Sarkar; Manu Sridharan;
机译:用于结构化并行的可扩展且精确的动态Datarace检测
机译:Multirace:多线程C ++程序中的高效实时数据竞争检测
机译:多线程C ++程序中的高效实时数据竞争检测[扩展摘要]
机译:针对多线程面向对象程序的高效精确数据检测
机译:通过计划专门化和执行过滤器对多线程程序进行合理,精确的分析。
机译:selscan:高效的多线程程序可以执行基于EHH的扫描以进行肯定选择
机译:用于多线程面向对象程序的高效精确数据检测的方法和装置
机译:面向对象的多目标程序的高效精确数据检测方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。