School of Computer, National University of Defense TechnologyNUDTChangsha, Hunan Province, China;
School of Computer, National University of Defense TechnologyNUDTChangsha, Hunan Province, China;
School of Computer, National University of Defense Technology NUDT Changsha, Hunan Province, China;
School of Computer, National University of Defense TechnologyNUDTChangsha, Hunan Province, China;
TLS; Cache Coherence Protocol; Snooping Ring; Invalidation Vector;
机译:缓存一致性协议的模型检查数据一致性
机译:缓存一致性协议的模型检查数据一致性
机译:使用TLA〜+检查缓存一致性协议
机译:TLS中使用分布式数据依赖关系违规检查的缓存一致性协议
机译:基于STT-MRAM的缓存的缓存一致性协议的分配策略分析
机译:基于分布式缓存系统的时空数据复制策略
机译:一种定制分布式文件缓存一致性协议的框架
机译:模型检查分布式文件系统的缓存一致性协议