首页> 外文OA文献 >9.1 Abstraction of Assembler Programs for Symbolic Worst Case Execution Time Analysis

【2h】

9.1 Abstraction of Assembler Programs for Symbolic Worst Case Execution Time Analysis

机译：9.1用于符号最坏情况执行时间分析的汇编程序的抽象

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tobias Schuele; Klaus Schneider;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis [J] . Djemai Kebbal, Pascal Sainrat OASIcs : OpenAccess Series in Informatics . 2006,第1期

机译：在最坏情况下执行时间分析中结合符号执行和路径枚举
2. Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution [J] . Knoop Jens, Kovacs Laura, Zwirchmayr Jakob Journal of symbolic computation . 2017,第pta1期

机译：用可靠的知识代替猜想：使用符号执行推断出经过验证的精确的最坏情况执行时间范围
3. Complete worst-case execution time analysis of straight-line hard real-time programs [J] . Friedhelm Stappert, Peter Altenbernd Journal of systems architecture . 2000,第4期

机译：完成直线硬实时程序的最坏情况执行时间分析
4. Abstraction of assembler programs for symbolic worst case execution time analysis [C] . Tobias Schuele, Klaus Schneider, PTobias Schuele, Annual conference on Design automation;Conference on Design automation . 2004

机译：汇编程序的抽象，用于符号最坏情况执行时间分析
5. Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories. [D] . Li, Yueqi. 2015

机译：使用API抽象和执行历史记录的大型现实世界程序的可扩展符号分析。
6. Children’s Mapping between Non-Symbolic and Symbolic Numerical Magnitudes and Its Association with Timed and Untimed Tests of Mathematics Achievement [O] . Carmen Brankaer, Pol Ghesquière, Bert De Smedt -1

机译：儿童在非符号和符号数值幅度之间的映射及其与数学成绩的定时和非定时测试的关联
7. Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis [O] . Kebbal Djemai, Sainrat Pascal, Compilers and WCET 2006

机译：在最坏情况执行时间分析中结合符号执行和路径枚举

9.1 Abstraction of Assembler Programs for Symbolic Worst Case Execution Time Analysis

著录项

引文网络

相似文献

相关主题

期刊订阅