基于事件模型的内存一致性验证方法

基于事件模型的内存一致性验证方法

出版社：中国科学院软件研究所

出版年：2024

作者：王恒宇

资源类型：图书

细分类型：学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

ArbLCheck:支持仲裁的内存一致性模型验证方法及其实现

作者：梁佳辉
出版社：中国科学院软件研究所
出版年：2019

同步一致性模型的动态验证

作者：孙鲁明
出版年：2014

基于CP-nets模型的IOCO一致性测试方法研究

作者：刘靖
出版年：2011

多核处理器Cache一致性验证方法研究

作者：郝莹莹
出版年：2015

基于标签一致性建模的事件论元抽取方法研究

作者：张付俊
出版社：中国科学院计算技术研究所
出版年：2022

基于时变混合分布模型的非一致性洪水频率分析方法

作者：闫磊
ISBN：9787517090847
出版社：中国水利水电出版社
出版年：2020