【摘 要】
：
在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目(61772270),国家重点研发计划资助项目(2016YFB1000802).
论文部分内容阅读
在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目的在于给出较为接近程序真实运行情况下的循环结构迭代的上界和下界。提出了一种基于抽象解释理论的程序循环边界计算方法,该方法对原有的循环边界分析方法进行了改进。首先在程序切片阶段对原程序建立程序依赖图,并提出了对程序依赖图的约简方法。由约简后的依赖关系可以对变量的取值进行约束,得到更小的取值范围,因此基于该方法的循环边界分析结果更加接近程序的实际执行边
其他文献
摘 要：广播电视新闻节目的传播受到很多因素的影响，其中最重要的因素就是策划，策划质量的好与坏直接影响到传播的范围和质量。在本文中，介绍了广播电视新闻策划及其原则，并分析了当前创新广播电视新闻策划的影响因素，在此基础上提出了强化广播电视新闻策划中创新的有效途径。 关键词：广播电视新闻：策划：创新途径 广播电视新闻节目策划的关键是策划，主要是将新闻事件加以分析、整理、编排，全部整合以后制定出相应的
合肥市2008年度保障性住房建设计划已确定,今年将加大廉租房、经济适用住房等保障性住房建设力度,规划建设廉租房、经济适用住房14万m2。合肥市房地产管理局有关负责人透露,2
利用计算机视觉和图像处理技术对绝缘子覆冰情况进行检测,在保障电力系统的安全运行方面具有非常重要的作用。提出了一种基于GLOH描述子和GVFSnake的绝缘子覆冰检测算法,该算
本文结合从属的广州市市政集团的实际,围绕筑牢加快经济的基础、发展强固先进企业文化的支撑、突出以人为本的核心三个方面,阐述了解放思想,坚持和落实科学观,构建和谐活力企
文章阐述医院内审工作的主要内容及模式,探讨在信息化条件下推进内审管理模式的转变,充分利用信息系统对医院经济运行数据进行动态实时监控,促进医院管理水平和经济效益的提
粤办函[2019]91号各地级以上市人民政府,省政府各部门、各直属机构:为进一步加强我省地方病防治工作的组织领导,强化部门间协调配合,控制和消除地方病危害,经省人民政府同意,
2008年1月18日,广东省空间结构学会2007年度年会暨广东钢结构行业新机遇研讨会在广州东山宾馆召开。广东省建设厅副厅长陈英松同志出席研讨会并在讲话中要求:
在各个高校开设的公共课程中,健美操是比较受到学生欢迎的一种运动形式,作为一种全新的运动理念可以让学生获得形体的美。而随着信息时代的进步,在高校的健美操课程中也发生
在市场竞争中，企业的形象对于增强企业竞争力有着非常重要的作用。企业的形象对于其生产经营活动有着很大的影响，良好的企业形象对于公司产品的销售有着推动作用，不好的企业形象