退出
我的积分:
中文文献批量获取
外文文献批量获取
吴萍; 陈意云; 张健;
中国科学技术大学计算机科学与技术系,合肥,230027;
中国科学院软件研究所计算机科学实验室,北京,100080;
并发程序; 程序分析; 数据竞争; 别名分析;
机译:Multirace:多线程C ++程序中的高效实时数据竞争检测
机译:多线程C ++程序中的高效实时数据竞争检测[扩展摘要]
机译:多核/多线程处理器中的多线程网络应用程序的线程分配
机译:我应该使用哪些编译器优化选项来检测多线程程序中的数据竞争?
机译:硬件多线程交易:为复杂程序启用投机多线程管道并行化
机译:通过同步算法和多线程代理应用程序改进UDP的OPC UA发布 - 订阅机制
机译:多线程程序的在线有效预测安全性分析
机译:在多线程计算机程序中检测数据竞争
机译:在基于消息的多线程程序中检测数据竞争条件的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。