首页> 中文期刊> 《系统仿真学报》 >MPI集群通信函数的Petri网模型

MPI集群通信函数的Petri网模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.

著录项

来源
《系统仿真学报》 |2005年第z1期|52-54|共4页
作者
崔焕庆; 吴哲辉; 井艳芳;
展开▼
作者单位

山东科技大学信息科学与工程学院;

山东青岛;

266510 山东科技大学信息科学与工程学院;

山东青岛;

266510 聊城大学计算机学院;

山东;

聊城;

252001;

展开▼
原文格式 PDF
正文语种 chi
中图分类性能分析、功能分析;
关键词
Petri网; MPI; 集群通信; 建模;

相似文献

中文文献
外文文献
专利

1. MPI通信函数的增广Petri网模型 [J] . 崔焕庆 ,吴哲辉 ,韩丛英 . 系统仿真学报 . 2003,第z1期
2. MPI程序的Petri网模型及其验证 [J] . 眭聃 ,王力生 ,叶青 . 计算机应用与软件 . 2007,第010期
3. MPI程序的Petri网模型及其动态性质(英文) [J] . 崔焕庆 ,吴哲辉 . 系统仿真学报 . 2006,第9期
4. 基于通信Petri网的异步通信程序验证模型 [J] . 杨启哲 ,李国强 . 软件学报 . 2017,第004期
5. 协议通信有限状态机模型和协议Petri网模型的变换 [J] . 徐志农 . 暨南大学学报：自然科学与医学版 . 1993,第003期
6. MPI集群通信函数的Petri网模型 [C] . 崔焕庆 ,吴哲辉 ,井艳芳 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于随机高级Petri网模型的服务器均衡集群研究 [A] . 刘兆明 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号