【摘 要】
：
给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图（CFG图）中结点之间的
【基金项目】
：
国家自然科学基金No.60703101
论文部分内容阅读
给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图（CFG图）中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径,最终在可行执行路径集中选择具有最大执行时间的执行路径。与以往的方法相比,在保持估计精度的前提下,本文的方法避免了穷举所有执行路径带来的复杂度,提高了搜索的效率。实验结
其他文献
以广西民族师范学院图书馆为例,介绍了图书馆在阅读推广活动中的功能开发。
随着单片机应用领域的不断扩展，人们越来越关心如何进一步增强单机的中断功能，本文从软，硬件相结合的角度较为详细地阐述了如何利用８２５９蕊片实现单片机的矢量中断和多重中断嵌套的方
设计了一种能降低模态之间的机械耦合的电容式双质量块微振动陀螺．此陀螺能精确地匹配模态频率，而且可以克服重力加速度对输出检测电容的影响．利用ANSYS对结构进行了仿真和优化，
调查了浙江师范大学生中的ＡＢＯ血型、身高及体得的分布、结果表明：本校学生ＡＢＯ血型频率依产欠为Ｏ〉Ａ〉Ｂ〉ＡＢ，符合长江流域血型分布特点；音乐系和地理系的学生中Ｂ型频率较高，分别为３６．０４％和３２．６９％，而教育系的
本测定法基于在酸性介质中，铜（Ⅱ）催化过氧化氢氧化中性红反应以痕量铜（Ⅱ）。采用固定时间法，在５３５ｎｍ处吸光度以监测反应，含铜（Ⅱ）在０－０．５μｇ－２５ｍｌ范围内与△Ａ呈线性关系，检出限为２．１３×１０＾－１０．ｍＬ＾－１该方法用于水样测
本文提出了一种在原降维图基础上作子降维图化简多变量逻辑函数的新方法，它使得逻辑函数的图形法化简更趋完善。
提出一种基于级联特征提取和核模糊聚类的雷达辐射源信号自动分类方法．该方法利用改进的瞬时自相关提取信号的瞬时频率，采用二次归一化处理的特征再提取方法提取分类特征向量，利
朱家济先生，字豫卿，又字余清、虞卿、予卿，浙江萧山人，清光绪二十八年十一月二十一日（1902年12月20日）生于湖北襄阳，1969年12月30日因心脏病卒于浙江杭州，是中国杰出的文物研究及保护
金华铁店瓷的釉色大量的是天青和蓝紫色乳光釉。地铁店类钧瓷样品进行非破坏性化学分析，发现ＭｎＯ含量高于钧瓷，不含ＣｕＯ。经过比较认为，金华铁店瓷釉的主要呈色元素为锰。
Web信息检索是指从大量Web文档集合中找到与给定的查询请求相关的、恰当数目的文档子集。为了更准确地找到相似文档,借助于两个页面的单词覆盖程度,提出一种改进的Web页面检