Graph Algorithms; Memory Consistency Verification; Parallel Algorithms; Relaxed Memory Models;
机译:通过使用强大的局部常量并行制约传播的方法
机译:模型一致性作为数字业务架构验证的工具
机译:缓存一致的多线程计算机体系结构中内存一致性的动态验证
机译:用于验证弱订购架构的一致性的并行方法
机译:逐行自动验证并行处理器中内存一致性的正式验证
机译:向量验证方法中一致性检查的使用
机译:使用正式验证方法分析企业架构模型的一致性