退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:缓存一致性协议的参数化验证的一种简单方法
Ching-tsun Chou; Phanindra K. Mannava; Seungjoon Park;
机译:基于约束的参数化缓存一致性协议验证
机译:正式验证分层缓存一致性协议安全属性的有效方法
机译:缓存一致性协议和通信结构的死锁验证
机译:缓存一致性协议的参数化验证的简单方法
机译:基于STT-MRAM的缓存的缓存一致性协议的分配策略分析
机译:使用简单有效的异质性校正方法与Clarkson方法相结合的多机构独立研究方法用于非均质介质中的验证
机译:利用参数化缓存一致性协议的流规范验证死锁自由度
机译:基于扩展CACHE相干协议的多级相干域仿真验证和测试方法
机译:基于扩展缓存一致性协议的多层一致性域仿真验证与测试方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。