School of Computing, University of Utah;
机译:抽象状态机规范以及位置一致性内存模型和缓存协议的验证
机译:共享虚拟内存系统的两种基于家庭的惰性释放一致性协议的性能评估
机译:通过模型检查来验证共享内存多处理器上的顺序一致性
机译:开发弱共享内存一致性协议的规范和验证框架
机译:开发和分析弱内存一致性模型以加速共享内存多处理器系统
机译:利用患者和医生的观点为大肠癌建立共享的决策框架
机译:针对弱内存模型的共享内存一致性协议验证:通过模型检查进行细化