静态单赋值论文

快速程序流分析方法的研究与应用
论文摘要衡量系统实时性的最重要的参数是任务的最坏情况执行时间(WorstCaseExceutionTime,WCET)。WCET分析的目的在于得到任务执行时间的上界约束,这需要...