传值进程

作品数：7被引量：4H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：林惠民刘剑薛锐许文方海更多>>
相关机构：中国科学院软件研究所国防科学技术大学中国科学院大学中国科学院更多>>
相关期刊：《计算机学报》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带复杂数据结构的模型检测工具
《计算机研究与发展》2004年第11期1990-1999,共10页张轶 林惠民 
国家自然科学基金项目 (6983 3 0 2 0 )
模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键 为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻...
关键词：模型检测 传值进程 带赋值符号迁移图 谓词μ演算 复杂数据结构 
带赋值符号迁移图的局部优化算法被引量：2
《计算机研究与发展》2000年第1期95-101,共7页方海 许文 林惠民 
国家自然科学基金重点项目!(项目编号69833020)和中国科学院"九五"基础研究重点项目
带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ 上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ 的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ 上所作...
关键词：传值进程 符号迁移图 赋值 局部优化算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部