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

基于Petri网的多线程死锁检测研究
出版年：2015
作者：黄理
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于锁信息的多线程软件原子性错误检测方法
  • 作者：王云飞
  • 出版社：中国科学院
  • 出版年：2013
...

基于Petri网信标求解与施控的死锁控制策略
  • 作者：李绍勇著
  • ISBN：9787311058340
  • 出版社：兰州大学出版社
  • 出版年：2020
...

MPICH同步通信程序死锁检测研究
  • 作者：廖名学
  • 出版社：中国科学院
  • 出版年：2008
...

多线程二进制程序的原子性错误检测
  • 作者：李潇
  • 出版社：中国科学院
  • 出版年：2012
...

融合Petri网和银行家算法对FMS中死锁的研究及预防
  • 作者：陈金凤
  • 出版年：2013
...

基于Petri网的计算树逻辑模型检测
  • 作者：刘关俊
  • ISBN：9787030772848
  • 出版社：科学出版社
  • 出版年：2024