r-TuBound公司 swMATH编号： 9722 软件作者： Jens Knoop；劳拉·科瓦奇（Laura Kovács）；雅各布兹维奇梅尔 描述： R-tubound：WCET分析的循环边界。我们描述了一种称为r-TuBound的新软件工具的结构和用法，该工具用于在程序的最坏情况执行时间（WCET）分析中推导符号循环迭代边界。r-TuBound实现了基于模式的递归求解和程序流细化算法，并在广泛的示例上进行了成功测试。本文的目的是说明r-TuBound可以做什么，以及如何使用它来派生程序的WCET。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_34 相关软件： 斯马卡;污水处理厂;OTAWA公司;石溪;吉隆坡机场;有限责任公司;lp_解决;选臂器;基础知识 引用于： 1文件 3位作者引用 1 詹斯·努普 1 科瓦奇，劳拉·伊尔迪科 1 雅各布兹维奇梅尔 连载1篇 1 符号计算杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文