退出
我的积分:
中文文献批量获取
外文文献批量获取
孙全; 许蕾; 夏昕濛; 张卫丰;
计算机软件新技术国家重点实验室(南京大学) 江苏南京210023;
南京大学计算机科学与技术系 江苏南京210023;
南京邮电大学计算机学院 江苏南京210023;
安卓应用; 数据竞争; 事件驱动模型; 多线程模型; 约束求解;
机译:PRORACE:生产使用的实用数据竞争检测
机译:TxRace:使用商品硬件事务存储进行有效的数据竞争检测
机译:通过约束求解器静态检测WS-BPEL Web服务的数据竞争
机译:CPU和GPU的高效精确动态数据竞争检测
机译:使用短距离交联约束求解蛋白质结构作为离散分子动力学模拟的指南
机译:使用激光烧蚀质谱和多变量分析检测和分类单个空气微粒;现场分析化学
机译:使用顺序程序分析进行数据竞争检测
机译:共享内存任务之间的数据竞争避免系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。