Maotai; VOPP; concurrent programming; data race prevention; data-centric programming;
机译:结构化并行程序中数据竞争的测试驱动修复
机译:模型检查数据竞争的任务并行程序
机译:在分布式共享内存系统上开发和调试并行程序的数据争用避免和重播方案
机译:茅台2.0:面向视图的并行编程中的数据争用预防
机译:并行数据结构上的高效程序的系统开发=并行数据结构上的高效程序的系统开发
机译:大型生物数据集基于新图块的并行编程模型对SMP节点和工作站集群的并行算法进行分析
机译:基于动态跟踪的数据相关性分析,用于C程序的并行化