您所在的位置： 首页 > 专利技术 > 正文
专利基本信息
专利名称 一种递归最大执行频度与深度的静态估计方法
专利状态 - 专利号（申请号） CN104317773B
专利申请日期 2014-10-28 专利类型 发明专利
申请公布号 2014105895304 申请公布日 2014-10-28
授权公告号 - 授权公告日 -
发明人 汤恩义;刘璐;方园;李宣东;冯世宁;张庆垒
专利权人 南京大学
专利摘要 本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法,该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件,然后引入可满足性模求解器来求解这些收集到的符号条件约束,并最终直接获得估计结果。由于避免了反复执行程序,相比于传统的动态估计方法,本发明的方法具有更为高效、准确等优点。所分析的结果可以帮助程序设计、开发、维护人员用于性能优化、能耗估计、实时性分析等计算机应用技术领域。
专利价值评估分析
专利价值评估分析 样例
相关推荐
技术专利 技术专家 技术成果
一种新型改良胃管
专利号：2025206587164
实用新型专利
一种循环湿式气体净滤系统及其净滤方法
专利号：CN201811130833.4
发明专利
一种气道支架固定套管针
专利号：2025201771715
实用新型专利
一种复合材料螺旋铣孔专用刀具
专利号：ZL 2023 1 0672758.9
发明专利
感应加热干化物料装置及其干化方法
专利号：201910337366.0
发明专利
吡喹酮粒度的光散射检测法
专利号：201910395270X
发明专利
一种浅碟型串珠状波浪式排土场截排水系统
本发明公开了一种浅碟型串珠状波浪式排土场截排水系统,包括：坡面降雨防溅击治理区、坡面降雨防溅击治理区...
行业：环境治理业
家畜S2疫苗免疫与羊/牛种布鲁氏菌感染的IELISA检测试剂
本发明提供一种家畜S2疫苗免疫与羊/牛种布鲁氏菌感染的IELISA检测试剂,所述IELISA检测试剂...
行业：工业与专业设计及其他专业技术服务
一株嗜热链球菌菌株及其用途
本发明涉及一种嗜热链球菌(Streptococcus#thermophilus)IMAU80841及...
行业：研究和试验发展
天然铁强化食品制备关键技术与应用
铁螯合物是一种理想的补铁剂， 本产品主要以海洋动植物蛋白为原料， 经前处理、双酶解、膜分离等技术手段...
行业：其他食品制造
一种干酪乳杆菌及其在固态发酵中的应用
本发明涉及一种干酪乳杆菌及其在固态发酵中的应用。所述干酪乳杆菌(Lactobacillus case...
行业：食品制造业
一种选择性计数酸奶中保加利亚杆菌的方法
本发明涉及一种选择性计数酸奶中保加利亚杆菌的方法,该方法包括选择适于保加利亚乳杆菌生长的选择性计数培...
行业：饮料制造
Baidu
map