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

ArbLCheck:支持仲裁的内存一致性模型验证方法及其实现
出版社：中国科学院软件研究所
出版年：2019
作者：梁佳辉
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于事件模型的内存一致性验证方法
  • 作者：王恒宇
  • 出版社：中国科学院软件研究所
  • 出版年：2024
...

同步一致性模型的动态验证
  • 作者：孙鲁明
  • 出版年：2014
...

广域数据多一致性模型的研究与实现
  • 作者：谭静雪
  • 出版年：2012
...

基于CP-nets模型的IOCO一致性测试方法研究
  • 作者：刘靖
  • 出版年：2011
...

多核处理器Cache一致性验证方法研究
  • 作者：郝莹莹
  • 出版年：2015
...

带时间和资源约束的过程模型验证方法及其实现
  • 作者：李伟亨
  • 出版年：2014