删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

PVM系统统一并行调试对象模型的Petri网描述

北京航空航天大学 辅仁网/2017-07-06

文献详情


PVM系统统一并行调试对象模型的Petri网描述
外文标题Describing a PVM Unified Parallel Debugged Object Model Using Petri Net
文献类型期刊
作者黄宁[1]
机构
来源信息年:2000卷:30期:1页码范围:25-29
期刊信息航空计算技术ISSN:1671-654X
关键词PVM(并行虚拟机);并行调试;Petri网
摘要采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念, 为把活动明确地表达给用户,我们给出了该模型的着色Petri网描述,这将有助于对程序作进一步的静态分析和性能调试研究.
所属部门计算机学院
链接地址http://d.g.wanfangdata.com.cn/Periodical_hkjsjs200001008.aspx
DOI10.3969/j.issn.1671-654X.2000.01.008
人气指数1
浏览次数1


全文|
影响因子:


暂无成果共有人
dc:title:PVM系统统一并行调试对象模型的Petri网描述
dc:creator:黄宁
dc:date: publishDate:2000-03-10
dc:type:期刊
dc:format: Media:航空计算技术
dc:identifier: LnterrelatedLiterature:航空计算技术.2000,30(1),25-29.
dc:identifier:DOI:10.3969/j.issn.1671-654X.2000.01.008
dc: identifier:ISBN:1671-654X
相关话题/航空 计算 技术 文献 信息

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 航管信息GPS时统系统
    文献详情航管信息GPS时统系统外文标题GPSTimingSysteminATC文献类型期刊作者罗喜伶[1];张其善[2]机构[1]北京航空航天大学!北京100083,北京航空航天大学!北京100083[2]北京航空航天大学!北京100083,北京航空航天大学!北京100083↓来源信息年:2000卷 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 声源定位实验--一个具有明确应用背景和前沿技术特点的综合性实验
    文献详情声源定位实验--一个具有明确应用背景和前沿技术特点的综合性实验外文标题Theexperimentforsoundsourcelocation文献类型期刊作者梁家惠[1];王成云[2];饶宇[3]机构[1]北京航空航天大学应用物理系!100083,北京航空航天大学应用物理系!100083,北京 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 雷达本振相位噪声的数字仿真技术
    文献详情雷达本振相位噪声的数字仿真技术外文标题ComputerizedSimulationofRadarLocalOscillatorPhaseNoise文献类型期刊作者段世忠[1];周荫清[2]机构[1]北京航空航天大学电子工程系!北京100083,北京航空航天大学电子工程系!北京100083[2 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 图书馆计算机系统在实施中的问题及对策
    文献详情图书馆计算机系统在实施中的问题及对策文献类型期刊作者张薇[1]机构[1]北京航空航天大学!北京100083↓来源信息年:2000卷:20期:4页码范围:56-58期刊信息高校图书馆工作ISSN:1003-7845关键词图书馆;计算机系统;应用;管理摘要本文就在采用"汇文图书馆集成管理系统"的 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 沉重的双翼——中国通用航空业面临的困境与挑战
    文献详情沉重的双翼——中国通用航空业面临的困境与挑战文献类型期刊作者赵洋[1];王斌[2]机构[1]北京航空航天大学,北京航空航天大学,[2]北京航空航天大学,北京航空航天大学,↓来源信息年:2000期:02页码范围:24-25期刊信息江苏航空ISSN:关键词通用航空;航空行业;直升机公司;航空俱乐 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 网络信息安全
    文献详情网络信息安全文献类型期刊作者葛之江[1];俞盈帆[2];何之蕾[3];王乃东[4]机构[1]北京空间飞行器总体设计部,北京空间科技信息研究所,北京外国语大学,北京航空航天大学100086,100089,100083[2]北京空间飞行器总体设计部,北京空间科技信息研究所,北京外国语大学,北京航 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 机群并行计算中负载共享的关键问题
    文献详情机群并行计算中负载共享的关键问题文献类型期刊作者胡凯[1];王强[2];胡建平[3]机构[1]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系北京100083,北京100083,北京100083[2]北京航空航天大学计算机科学与工程系 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 软件体系结构分析及场景技术在其中的应用
    文献详情软件体系结构分析及场景技术在其中的应用文献类型期刊作者孙昌爱[1];刘超[2];金茂忠[3]机构[1]北京航空航天大学软件工程研究所,北京航空航天大学软件工程研究所,北京航空航天大学软件工程研究所北京100083,北京100083,北京100083[2]北京航空航天大学软件工程研究所,北京航 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 计算机生成全息图的研究与实现
    文献详情计算机生成全息图的研究与实现文献类型期刊作者杨钦[1];徐永安[2];王元鹏[3]机构[1]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系北京100083,北京100083,北京100083[2]北京航空航天大学计算机科学与工程系, ...
    北京航空航天大学 辅仁网 2017-07-06
  • 企业电子商务技术与发展
    文献详情企业电子商务技术与发展文献类型期刊作者李昭原[1];宋怡[2]机构[1]北京航空航天大学计算机系,北京航空航天大学计算机系[2]北京航空航天大学计算机系,北京航空航天大学计算机系↓来源信息年:2000期:13页码范围:31-32期刊信息中国计算机用户ISSN:1003-031X关键词电子商务 ...
    北京航空航天大学 辅仁网 2017-07-06