论文部分内容阅读
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .
上下文敏感的过程间指针分析
【摘 要】
：
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
【机 构】
：
FudanUniv
【出 处】
：
计算机学报
【发表日期】
：
2000年5期
【基金项目】
：
国家自然科学基金,,教育部科学技术项目资助
其他文献
基于块的运动估计是视频压缩国际标准中广泛采用的关键技术 .文中提出了结合相邻块运动向量相等和SAD值比较的起点预测方法 ,减少了起点预测时计算 SAD的开销 ;利用 SAD分布的方向性 ,对 SAD值偏小部分重点搜索 ,加速了块匹配的快速搜索策略 .在此基础上设计了一种新的快速运动估计算法 ,该算法在大幅度提高搜索效率的同时 ,得到了与全搜索非常接近的搜索结果 .从而减少或避免了不必要的搜索
提出一种新的了机数据挖掘方法，该方法是一种从数据缩减到数据挖掘的方法，其中概括了传统的关系数据库的超关系被作为挖掘的对象，超关系的集合可以－而然地转换为一个完整的布尔代
有效的路径查询处理是地理信息系统、系统及计算机网络等高级应用中的一个关键需求，文研究如交通网络和通信网络等节点发大的网络中的最佳路径查询算法，为了保证最佳路径查询的