机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
Institute of Microelectronics and Microprocessor, School of Computer Science, National University of Defense Technology, Changsha, P.R. China;
Institute of Computer, School of Computer Science, National University of Defence Technology, Changsha, P.R. China;
Institute of Microelectronics and Microprocessor, School of Computer Science, National University of Defense Technology, Changsha, P.R. China;
Institute of Computer, School of Computer Science, National University of Defence Technology, Changsha, P.R. China;
parameterized cache coherence protocol; true concurrency; model; checking; two-dimensional abstraction;
机译:缓存一致性协议的模型检查数据一致性
机译:缓存一致性协议的模型检查数据一致性
机译:模型检查Java DSM实现的缓存一致性协议
机译:将参数化模型检查应用于实际的高速缓存一致性协议
机译:模型检查顺序一致性和参数化协议。
机译:交会系统的参数化模型检查
机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
机译:模型检查分布式文件系统的缓存一致性协议