【摘 要】
：
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元
【基金项目】
：
国家自然科学基金No.60873049
论文部分内容阅读
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。
其他文献
改造世界的活动分为两个方面：改造客观世界和改造主观世界，这二者是有机统一的。物质文明建设是对自然界的改造，精神文明建设是对主观精神世界的改造，而这种对主观精神世界的改造
创业板的推出,不仅为中小企业融资提供了一个广阔的舞台,同时也为商业银行在优质客户群的培育、业务空间的扩大、储蓄业务的跳跃武发展、加速金融资本的流转速度、提高资源配
为了快速准确地找到在线社会网络的社区结构,提出了一种基于共同好友数和节点邻居信息的社区结构发现算法。该算法以共同好友数最多的两个节点为初始社区,不断寻找与社区连接
本文概括了农村各种养老形式的内容,而后比较和分析了目前农村正在开展的"社会养老保险"和"养老保险"的异同,最后探讨了养老保险发展改变传统生育观念的崭新命题.
嵩、岳是对高大山体的称谓。位于河南登封的嵩山即取名于《诗·大雅·荡之什》“崧高惟岳，骏极于天”一诗。这在后来郭璞、朱熹等人对《诗经》的注解中可以得到证明。
基于构件的软件开发和复用是提高软件开发效率和质量的有效途径，OSGi（open services gateway initiative）构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理。在构
物体计数在医学领域的细胞计数、智能交通领域的行人计数问题中都有着广泛的应用。目前有大量的算法针对物体计数问题展开研究,其中基于密度图像估计的计数算法首先通过学习得到密度图像,然后将密度图像所有位置上的概率求和得到物体的数量。采用基于密度图像估计的算法框架对物体计数进行研究,提出了一种最小化平方误差的密度估计算法。该算法具有解析解,在最终错误率相近甚至更优的前提下,可以有效节省训练时间。与另一种近邻