登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于Murphi的参数化缓存一致性协议验证
出版社：中国科学院软件研究所
出版年：2024
作者：李梓民
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于片上多核处理器的缓存一致性协议研究
  • 作者：曾洪博
  • 出版年：2008
...

面向NoC架构的缓存一致性协议研究与实现
  • 作者：罗威
  • 出版社：中国科学院软件研究所
  • 出版年：2023
...

环连接片上多核处理器缓存一致性协议研究
  • 作者：曹非
  • 出版年：2010
...

微结构级缓存一致性协议的模型检测
  • 作者：郑涛
  • 出版社：中国科学院
  • 出版年：2008
...

路由协议的一致性测试
  • 作者：孙朝静
  • 出版年：2002
...

基于形式化描述的协议一致性测试方法的研究
  • 作者：周晓煜
  • 出版年：2004