[00281669]一种递归最大执行频度与深度的静态估计方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201410589530.4

交易方式： 完全转让许可转让技术入股

联系人：南京大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结果。由于避免了反复执行程序，相比于传统的动态估计方法，本发明的方法具有更为高效、准确等优点。所分析的结果可以帮助程序设计、开发、维护人员用于性能优化、能耗估计、实时性分析等计算机应用技术领域。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>