机译:顺序一致的内存的表征和通过抽象对缓存的验证
机译:在宽松的内存模型下进行验证的有效抽象
机译:缓存一致的多线程计算机体系结构中内存一致性的动态验证
机译:抽象状态机规范以及位置一致性内存模型和缓存协议的验证
机译:使用共享内存抽象设计弱内存模型的热切序列化
机译:具有一致的高速缓存的大型共享内存多处理器中TLB一致性解决方案的性能评估。
机译:通过临床工作记忆测试验证的特定于形式的工作记忆系统
机译:通过抽象来表征顺序一致的存储器和验证高速缓冲存储器
机译:使用接口细化验证顺序一致的内存