University of Pennsylvania;
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:程序功能并行模型的有效数据类型分析
机译:具有内存访问控制的并行算法的故障敏感性分析
机译:松散内存模型上并发数据类型的有界模型检查:一个案例研究
机译:CDSSpec:在C / C ++ 11内存模型下测试并发数据结构
机译:在并发的记忆和听觉感知任务中学生的听觉扩张反应比听觉刺激特征对记忆负荷更敏感
机译:松散内存模型上并发数据类型的有界模型检查:一个案例研究