基于锁信息的多线程软件原子性错误检测方法

出版社:中国科学院
出版年:2013
作者:王云飞
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

多线程二进制程序的原子性错误检测

  • 作者:李潇
  • 出版社:中国科学院
  • 出版年:2012

基于Petri网的多线程死锁检测研究

  • 作者:黄理
  • 出版年:2015

基于自然语言处理的软件错误检测关键技术研究

  • 作者:杨伊
  • 出版社:中国科学院信息工程研究所
  • 出版年:2024

基于非证据性外部信息的虚假新闻检测方法研究

  • 作者:李润东
  • 出版社:中国科学院计算技术研究所
  • 出版年:2023

基于深度学习的软件代码脆弱性检测

  • 作者:余星鑫
  • 出版社:中国科学院信息工程研究所
  • 出版年:2022