【摘 要】
：
针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包含的指针分析方法及其在线优化技术;其次描述横向传播和纵向传播方法,进而说明它们存在的一些缺陷;然后针对这些缺陷提出一个改进的算法,该算法能够在不损失时间开销的条件下以更小的内存开销实现横向传播,能在纵向传播过程中检测出约束图中所有的强连通分量;最后通过一个实例分析及使用CIL工具
【基金项目】
：
上海市教委基金项目（11YZ166）.
论文部分内容阅读
针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包含的指针分析方法及其在线优化技术;其次描述横向传播和纵向传播方法,进而说明它们存在的一些缺陷;然后针对这些缺陷提出一个改进的算法,该算法能够在不损失时间开销的条件下以更小的内存开销实现横向传播,能在纵向传播过程中检测出约束图中所有的强连通分量;最后通过一个实例分析及使用CIL工具进行的实验验证了该改进算法的优越性。
其他文献
【正】 为了加强农机安全监督工作,主管局为县农机监理站增加了几名人员,我当上了内勤办证员。别人都说这是一个权力很大的岗位,我却如履薄冰,不敢有半点懈怠。经过几年的工
<正> 随着农村经济的发展和农业现代化建设的推进,农机化事业迅猛发展,尤其是大中型农业机械的大量投入使用,对于农业机械的安全生产,提高机具完好率和利用率,增加农机户的经
本文着重探讨了在企事业组织选拔人才过程中运用的两种有效方法和技巧的问题,主要包括情景面试和行为面试,并分析了两种方法的特点,进行了对比。
This article focuses on t
生活中,美随处可见。发现美、歌颂美也应成为写作的主要内容和重要主题。然而事实上,我们仍常常与身边的美擦肩而过,却还在为寻找美的事物而犯愁。让我们开启心灵的视窗吧,美
通过实验室模拟混凝沉降法除氟过程，研究了铝型材工业废水除氟的适宜工艺条件。在实验条件下,氟与氢氧化钙、聚铝、FW络合助剂形成多元络合物复合盐，然后用聚丙烯酰胺絮凝，废水
<正> 1997年以来,省、市人民政府相继下发了《关于加快农业机械化发展的决定》,1998年7月31日,省人大常委会又颁发了《湖北省农业机械管理条例》,从而使农机化工作步入了法制
考场真题 题目：没想到,真没想到作文要求：（1）写一篇600字左右的文章;（2）不得透露个人相关信息;（3）不得抄袭。中考佳作 没想到,真没想到 上海一考生 “唉,没想到,真没想到。”我正独自
唐僧师徒途经忘川河，因激怒河神而误入西梁女界。闯入后，众人才发现这个国家只有女性，并且自建国起此地就没来过男性。而且国中立有祖训，将男人视为天敌；典籍中更有预言，指明有朝一
尊敬的习爷爷：您好！我是海伦市的一名中学生，这是我第一次写信，没想到是写给您！我感到很高兴。
针对认知无线电自组网络中传统的频谱感知方案需要网络拓扑先验知识导致能量消耗过多的问题,提出一种基于梯度的分布式协作频谱感知方案。首先,通过基于共识的算法处理带有固定图的网络模型,无需任何网络拓扑的先验知识,减少了获得认知需要的消息交换次数;然后,利用基于组件的方式计算梯度,梯度场随着认知无线电感知的能量一起变化,实现完全分布式且具有很强的可扩展性。最后,仿真实验从可靠感知、收敛次数和能量消耗三个角