文件Open Access徽标

切边计时分析技术

作者 雅各布·兹维奇梅尔



PDF格式
缩略图PDF

文件

LIPIcs公司。ICLP.2010.303.pdf
  • 文件大小:90 kB
  • 3页

文件标识符

作者详细信息

雅各布·兹维奇梅尔

引用为获取BibTex

雅各布·兹维奇梅尔。切边计时分析技术。在第26届逻辑程序设计国际会议的技术交流中。莱布尼茨国际信息学论文集(LIPIcs),第7卷,第303-305页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2010)
https://doi.org/10.4230/LIPIcs.ICLP.2010.303

摘要

本文概述了我目前在维也纳理工大学进行的时间分析研究。在简短介绍了该主题之后,接下来介绍了一种依赖CLP的方法,即隐式路径枚举技术(IPET)。该技术也用于计算机语言研究所(TuBound)开发的工具中。当前的时序分析工具存在一些值得进一步研究的缺陷,以便获得比当前最先进的时序分析工具更好的结果。
关键词
  • 验证
  • 时间分析
  • 硬实时系统
  • 静态分析
  • 最坏情况执行时间
  • 环入变体
  • 嵌套循环
  • 符号计算,

韵律学

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件