国家重点基础研究发展计划(2011CB302603)
- 作品数：2 被引量：2H指数：1
- 相关作者：沈锐张圣栋李仁见王昭飞更多>>
- 相关机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 命令式程序终止性验证方法综述
- 2011年
- 作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比。总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架。
- 李仁见王昭飞
- 关键词：终止性秩函数
- 发布/订阅系统中基于属性分组的匹配结构被引量：2
- 2011年
- 在基于内容的发布/订阅系统中,每个订阅通常含有某几个属性,并且一些属性经常在订阅中同时出现。根据该情况,在一个多维结构和多个一维结构的基础上,提出一种基于属性分组的匹配结构。属性分组把所有事件模型中的属性分为多个组,每个组包含经常在订阅中同时出现的属性,基于此设计索引结构并构建覆盖网。实验结果表明,该匹配结构可在系统负载和带宽开销上取得较好的平衡。
- 张圣栋沈锐
