国家高技术研究发展计划(2008AA01Z102)

作品数：2被引量：0H指数：0
导出分析报告
相关作者：董渊王生原郭胜基齐大伟林明更多>>
相关机构：清华大学更多>>
相关期刊：《中国科学：信息科学》《系统仿真学报》更多>>
相关主题：PETRI网并发程序元对象协议有色银行家算法更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于P/T网的低级并发程序验证模型
《中国科学：信息科学》2010年第1期13-32,共20页梁英毅 王生原 董渊 
国家自然科学基金(批准号:60573017;90818019);国家高技术研究发展计划(批准号:2008AA01Z102)资助项目
随着片上多处理器/多核技术的不断发展,采用机器级语言的并发程序(低级并发程序)有了更加广阔的应用前景.然而,低级并发程序的验证问题也成为程序语言领域一种新的挑战.并发程序安全性验证领域现有的工作多数是针对高级语言、规范或者演...
关键词：低级并发程序 PETRI网 抽象机器 程序验证 分离逻辑 
一种基于Renew的有色网元对象协议的设计与实现
《系统仿真学报》2008年第S2期63-68,共6页郭胜基 齐大伟 林明 王生原 董渊 
国家自然科学基金(60573017;90818019);国家高技术研究发展计划863(2008AA01Z102)
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用...
关键词：PETRI网 元对象协议 Renew 银行家算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部