论文部分内容阅读
数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面.论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础.
基于格的数据流分析框架研究
【摘 要】
：
数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面.论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础
【机 构】
：
西华师范大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年21期
【基金项目】
：
西华师范大学校级科研资助项目（编号：04A021）
其他文献
思维进化算法（Mind Evolutionary Algorithm）是一种新型进化计算方法，主要通过“趋同”和“异化”算子进行进化操作。论文从泛函分析角度研究了种群在进化过程中的变化情况，用区
单件生产ETO（Engineer To Order）类型企业通常按订单安排生产，当企业的生产能力低于市场需求时，如何在多个订单作业中优化选出能获得最大利益的作业来执行是安排生产计划的关键问
多路广播技术可以使多种网络资源得到接近最佳的使用率,提供满足QoS需求的多播服务的关键是如何建立满足多个QoS约束的最小代价树,多约束QoS多播路由选择问题是NP完全问题.论
文章根据无线信道的特点,分析了在无线网络中不同于传统有线网络的导致TCP性能降低的原因,介绍了可以改善无线环境中TCP性能的SNOOP协议,分析了SNOOP协议存在的问题,并针对这
如何防御分布式拒绝服务攻击是当今最重要的网络安全问题之一。许多研究人员提出了防御方案，其中由Savage等人提出的概率包标记策略受到了广泛的重视。文章在此基础上，提出了一
由于ATM网络环境的复杂性、多变性，用常规的数学模型对网络模型、可用带宽的获取以及控制嚣设计的描述具有很大的局限性．因此论文提出了一种基于自适应模糊推理系（Adaptive Neur
目的对经皮二尖瓣球囊扩张术(PBMV)后患者12年的随访资料作回顾性分析,以确定再狭窄率、远期疗效及其影响因素.方法对1990年5月至2002年5月随访资料完整的344例患者进行回顾
文章首先讨论了PUSH服务的特点，然后提出了一个可以跨越移动网络和SIP网络的PUSH服务模型，此模型包括“服务提供域”和“囱络运营域”两个网络。“服务提供域”主要由“PUSH应
针对许多复杂地基具有分层不明显、密实度空间分布很不均匀的特点,叙述了将地基土分为无数微薄层,然后计算每个微薄层的压缩量再全部相加得到地基总沉降量的计算方法,并且通