无死锁

作品数：70被引量：145H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：向东胡核算张研魏敬和王飞更多>>
相关机构：清华大学西安电子科技大学西安交通大学国防科学技术大学更多>>
相关期刊：《应用科学学报》《南通大学学报（自然科学版）》《清华大学学报（自然科学版）》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向对象范型体系结构中构件行为相容性研究被引量：18
《软件学报》2006年第6期1276-1286,共11页胡海洋 吕建 马晓星 陶先平 
国家自然科学基;国家高技术研究发展计划(863);国家重点基础研究发展规划(973))~~
软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结...
关键词：构件 构件组装 软件体系结构 行为相容 无死锁 
一种无死锁的时间管理算法被引量：23
《软件学报》2003年第9期1515-1522,共8页刘步权 王怀民 姚益平 
国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法...
关键词：高层体系结构 时间管理 GALT 死锁 身高测量法 
超立方体上基于缓冲机制的无死锁路径算法被引量：3
《软件学报》1995年第4期240-247,共8页周建强 姚学军 谢立 
本文研究了超立方体上基于单缓冲和双缓冲技术的无死锁受限条件，提出了相应的无死锁路径算法．性能分析表明，路径算法的效率和算法的自适应能力及算法的复杂性相关．
关键词：超立方体 路径算法 死锁 缓冲技术 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部