形式规约语言中函数运算的优化

来源 :软件学报 | 被引量 : 0次 | 上传用户:xiaoppqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在运行时刻,由于某些函数参数的取值会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的。针对这种情况,提出一种运行时刻的优化方法。它通过调用依赖图来消除重复调用的函数。
其他文献
目的 探讨持续气道正压(CPAP)通气对高原阻塞性睡眠呼吸暂停低通气综合征(OSAHS)患者氧化应激的干预作用.方法 对42例高原OSAHS患者监测了AHI、MSaO2、T80.在睡前、晨起及CPAP治
目的观察帕瑞昔布钠在胸腔镜肺大疱切除术患者的应用效果。方法选取我院收治的需进行胸腔镜肺大疱切除术的120例患者作为临床研究对象。将这120例患者随机分为M、N、P三组,每
目的:对传统的胶原酶灌流法加以改进,以节约分离肝细胞的实验时间和成本.方法:采用离体法,分3次从肝窦灌注含有肝素钠的D-Hanks液共150 mL;用30 mL终浓度为0.04%的胶原酶液(Ⅰ:Ⅳ
一、前言简易自升平台式大模板翻模是在总结了滑模、爬模、普通翻模、组合模板和大模板的基础上进行简化,依照成本低廉、加工安装简捷、施工速度快、劳动强度低、适用性广泛
在介绍主动网络的基础民上,提出了一个在移动代理系统基础上建立的安全而高效的主动网络系统框架MANet。通过将程序代码和数据封装成主动数据包在主动结点上的作为代理来运行,这个框
提出了一种新型的基于ElGamal型算法而非RSA算法的综合型Yaksha安全系统。该系统可以用作加密、数字签名,分布式认证,密钥交换。文章当的热点问题“密钥托管”提出了一种可行的解决方案。
直线是图像分析中一种非常重要的中层描述符号 .已有的提取算法较多 ,但都存在一些缺陷 ,限制了它们的使用范围 .提出一种稳健的直线提取算法 ,设计了一系列的方法来克服实际图像中存在的种种干扰和噪声 .首先提取并细化边缘 ,然后利用卡尔曼滤波器跟踪边缘点 ,获得直线支持区 ,最后设计一种稳健的方法来拟合直线支持区 .实验结果表明 ,这种算法具有良好的性能 ,适应于较广范围的实际图像
COPD及原发性高血压病均为生活中的常见病和多发病,但目前对于两者之间相关性的研究较少。COPD患者伴有原发性高血压病时,不仅COPD难以得到有效的治疗,而且高血压也很难得到