期刊文献+

基于学习的缓存一致性协议带参验证 预览

Learning based cache coherence protocol with parameter validation
在线阅读 下载PDF
分享 导出
摘要 0引言带参系统存在于许多应用领域中,比如缓存一致协议等。因为它的研究价值,验证这样的系统也就吸引来了形式化验证、模型检测和定理证明等社区的关注。要想验证带参系统的正确性,就必须验证任意实例大小的系统中的正确性,而这被证明是一个无法判定的问题。
作者 李勇坚
出处 《电子产品世界》 2019年第1期82-83,87共3页 Electronic Engineering & Product World
作者简介 李勇坚,博士,研究生导师,人工智能开放创新平台*联合学者,主要研究方向:计算机科学理论和软件理论。
  • 相关文献
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈