微结构级缓存一致性协议的模型检测

出版社:中国科学院
出版年:2008
作者:郑涛
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

带参缓存----致性协议的模型检测

  • 作者:吕毅
  • 出版社:中国科学院
  • 出版年:2007

面向NoC架构的缓存一致性协议研究与实现

  • 作者:罗威
  • 出版社:中国科学院软件研究所
  • 出版年:2023

基于模型检查的协议一致性测试生成

  • 作者:姬忠鹤
  • 出版年:2005

面向内容一致性的ICN缓存模型与策略研究

  • 作者:杨涛
  • 出版社:中国科学技术大学
  • 出版年:2022