AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:没有全局障碍的高效确定性多线程
Kai Lu; Xu Zhou; Tom Bergan Xiaoping Wang;
机译:Kendo:软件中的高效确定性多线程
机译:StreamScan:无需全局屏障同步的GPU快速扫描算法
机译:esDMT:通过内存隔离实现高效且可扩展的确定性多线程
机译:任意多线程程序的确定性执行。
机译:确定性转染驱动有效的非病毒重编程并发现重编程障碍
机译:通过计划松弛实现高效的确定性多线程
机译:具有可编程多线程和硬件的处理器来支持多线程软件{包括全球寄存器和繁忙位存储器元素}
机译:识别多线程程序中的全局一致状态
机译:在多线程程序中识别全球一致状态
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。