机译:在弱存储器一致性下的图书馆正确性:在声明性一致性模型下指定和验证并发库
机译:分区一致性:内存一致性较弱并证明其实现正确性的建模系统中的案例研究
机译:验证内存一致性模型的正确微体系结构实施
机译:TSOtool:使用内存一致性模型验证内存系统的程序
机译:针对弱内存模型的共享内存一致性协议验证:通过模型检查进行细化
机译:开发和分析弱内存一致性模型以加速共享内存多处理器系统
机译:文库制备方案对Pool-Seq数据中等位基因频率估计值一致性的影响
机译:分区一致性:弱记忆建模系统的案例研究 一致性和证明其实施的正确性