切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
PVM并行程序验证系统的原理与实现
PVM并行程序验证系统的原理与实现
来源 :计算机学报 | 被引量 : 0次 | 上传用户:yaczxxzx
【摘 要】
:
本文主要介绍PVM并行程序验证系统的基本原理和实现技术。首先,我们扼要分析PVM程序的构成与特点,然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术,本系统的研
【作 者】
:
张兆庆
蒋昌俊
【机 构】
:
中国科学院计算技术研究所,山东矿业学院计算模型与算法研究所
【出 处】
:
计算机学报
【发表日期】
:
1999年4期
【关键词】
:
PVM程序
并行程序验证
并行程序设计
PVM program
Petri net
communication graph
parallel progra
【基金项目】
:
国家自然科学基金,,国家博士后基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文主要介绍PVM并行程序验证系统的基本原理和实现技术。首先,我们扼要分析PVM程序的构成与特点,然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术,本系统的研制可为产行程序的自动转换和分析验证提供了一个可视化的运行环境。
其他文献
对江苏省吸引外资的认识与分析
期刊
外资利用
对外经济
江苏
分析
关于当前施工企业“潜亏”问题的探讨
期刊
施工企业
亏损
建筑
谈采用复式记帐凭证记帐
期刊
复式记帐凭证
会计
银行
营销手段零部件业取胜关键
最近,据有关专家预测,我国汽车服务业将在汽配件零售等多个方面实现商机。零部件业再次因其自身的重要性而备受业内人士关注。入世后,人们讨论更多的是零部件产品质量、技术水平
期刊
营销手段
汽车服务业
零售
商机
零部件
产品质量
入世后
配件
基于最短描述长度的序列图像运动分割
提出了一种分两个阶段的运动估计和分割方法。首先采用小块对图像做传统全局搜索的块匹配运动估计,得到每块相应搜索范围内的误差图,根据误差图判决相邻块运动的一致性将一致性
期刊
运动估计
序列图像分割
块合并
图像编码
Motion estimation
video segmentation
block merging
minimum
沈阳机床唱响“自主创新、民族品牌”之歌——MC专访沈阳机床集团展会负责人
2006,适逢中国“十一五”的开局之年,各个行业无不显现出喷薄欲发的发展和创新势头。当记者通过与国内几大装备企业负责人的交流以及亲自感受在展会上这些企业的表现后,再次强烈
期刊
自主创新
负责人
机床
民族品牌
展会
集团
江苏固定资产投资规模大乎?小乎?
期刊
固定资产投资
投资模型
江苏
基本建设
建设银行境外筹资工具创新初探
期刊
建设银行
境外筹资
金融工具创新
银行
面向SIMD机器的全局自动数据分割
提出了一种面向SIMD机器的全局数据自动分割算法,该算法能处理多个非紧嵌折循环嵌套,并且数组下标存取为循环变量的线性式,首先通过数据与迭代映射抽象了计算中的通信方式,然事提出识
期刊
数据分布
并行编译器
数据分割
SIMD机器
Data partitioning
loops partitioning
regular pattern co
谁将使自动化更廉价?——气动技术在自动化领域的贡献
气动执行元件主要用于作直线往复运动。在工程实际中,这种运动形式应用最多,如许多机器设备上的传送装置、产品加工时工件的进给、工件定位和夹紧、工件装配以及材料成形、加工
期刊
气动技术
摆动气缸
工件定位
材料成形
传送装置
旋转运动
直线运动
夹紧
进给
装配
与本文相关的学术论文