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

带参缓存----致性协议的模型检测
出版社：中国科学院
出版年：2007
作者：吕毅
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

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

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

安全协议的概率模型检测
  • 作者：王婷
  • 出版年：2013
...

基于模型检查的协议一致性测试生成
  • 作者：姬忠鹤
  • 出版年：2005