期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
PVM并行程序验证系统的原理与实现
被引量:
6
1
作者
张兆庆
蒋昌俊
+2 位作者
乔如良
叶志宝
周杰
《计算机学报》
EI
CSCD
北大核心
1999年第4期409-414,共6页
本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统的研制可为并行程序的自动转换和分析验证提供一...
本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境.
展开更多
关键词
pvm
程序
并行程序验证
并行程序设计
下载PDF
职称材料
题名
PVM并行程序验证系统的原理与实现
被引量:
6
1
作者
张兆庆
蒋昌俊
乔如良
叶志宝
周杰
机构
中国科学院计算技术研究所
山东矿业学院计算模型与算法研究所
出处
《计算机学报》
EI
CSCD
北大核心
1999年第4期409-414,共6页
基金
国家自然科学基金
国家博士后基金
文摘
本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境.
关键词
pvm
程序
并行程序验证
并行程序设计
Keywords
pvm program
,
petri net
,
communication graph
,
parallel program verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
PVM并行程序验证系统的原理与实现
张兆庆
蒋昌俊
乔如良
叶志宝
周杰
《计算机学报》
EI
CSCD
北大核心
1999
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部