【摘 要】
：
Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,提出一种精确最坏执行时间分析方法,在高层分析中,引入一种标记方法,对带有标记的Java类文件进行反编译提取控
【基金项目】
：
国家自然科学基金No.60703101
论文部分内容阅读
Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,提出一种精确最坏执行时间分析方法,在高层分析中,引入一种标记方法,对带有标记的Java类文件进行反编译提取控制流程,得到每一个基本块中的Java字节码指令的最坏情况下的执行次数,在底层分析中,建立结合流水线和高级缓存影响的时间模型,得到每条指令所对应的执行时间,最后结合高层分析和底层分析的结果得到程序的最坏情况下的执行时间。实验表明,该方法可以使对实时Java程序的最坏情况执行时间预测更加安全和精确。
其他文献
介绍了海洋工程调载驳船调载作业控制系统的手动控制、计算机辅助手动控制、压载舱群液位计算机控制、配载计算及联机控制等几个主要方面及组成与功能。通过电气控制系统调整
简单介绍了某电力推进船应急推进系统的设计，对当前应急推进设计展开深入的探讨，并针对当前应急系统设计一种更加简便的方案，使应急推进的自动化程度和安全系数大大提高。
文章主要对超大型集装箱船优化改型两个方案的伴流场进行模型试验的对比分析，对改进超大型集装箱船伴流场的问题作了介绍。
论文在对各种模式进行统计分析的基础上,针对SKIP模式,提出了一种将SKIP模式与inter16×16模式的率失真代价进行比较的快速判决算法;针对inter8×8模式,提出了一种基
为了在服务组合过程中高效地发现、选择满足用户要求的Web服务,提出一种基于Pareto多目标遗传算法的QoS全局最优服务选择算法（PGA-WS）用以实现用户对组合服务质量的要求。该方
为了考查三维波对消声器声学性能的影响，分别使用一维和三维方法计算消声器的传递损失，并同现有的实验结果进行比较。结果表明，一维理论只适用于截止频率以下的低频计算，而三维有
文章简要介绍吊舱式电力推进装置。并介绍吊舱式电力推进和常规推进的双反桨组合（CRP Azipod）的一些模型试验情况和世界上最先应用双反桨组合的日本高速渡船的实船情况。
基于小波包分解和遗传神经网络对正常脑电和癫痫脑电进行识别。通过分析脑电数据找出信号特征;利用一维离散小波包分解提取含有识别特征的脑电信号频率段,并以脑电各频段的相
针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gra