作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
基于CSP的多线程自动建模及死锁检测研究
多线程建模
死锁检测
语义转换
形式化验证
通信顺序进程
过程分析
基于排序的避免死锁的方法
数据库
批量更新
死锁
排序
MPI程序同步通信基本模型死锁检测
MPI(Message Passing Interface)
死锁
同步通信
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 程序“死锁”的补救
来源期刊 苹果园 学科 工学
关键词 程序 死锁
年,卷(期) 1989,(1) 所属期刊栏目
研究方向 页码范围 32
页数 1页 分类号 TP31
字数 语种 中文
DOI
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1989(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
程序
死锁
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
苹果园
双月刊
出版文献量(篇)
112
总下载数(次)
0
论文1v1指导