Analyzing loop paths for execution time estimation

Analyzing loop paths for execution time estimation

10.1007/11604655_53

Saved in:

書目詳細資料
Main Authors:	Roychoudhury, A., Mitra, T., Negi, H.S.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/41805
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Accurate Estimation of Cache-Related Preemption Delay
由: Negi, H.S., et al.
出版: (2013)

Chronos: A timing analyzer for embedded software
由: Li, X., et al.
出版: (2013)

Efficient detection and exploitation of infeasible paths for software timing analysis
由: Suhendra, V., et al.
出版: (2013)

Design space exploration of caches using compressed traces
由: Li, X., et al.
出版: (2013)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

A retargetable software timing analyzer using architecture description language
由: Li, X., et al.
出版: (2013)

Cache modeling in probabilistic execution time analysis
由: Liang, Y., et al.
出版: (2013)

Exploiting branch constraints without exhaustive path enumeration
由: Chen, T., et al.
出版: (2014)

Scalable and precise refinement of cache timing analysis via path-sensitive verification
由: Chattopadhyay, S., et al.
出版: (2014)

Analyze sensitive information transmission with symbolic execution for Android
由: Zhuo, Mingde
出版: (2015)

Performance study of time delay estimation in a multi-path environment
由: Jian, M., et al.
出版: (2014)

Symbolic simulation on complicated loops for WCET path analysis
由: Chu, D.-H., et al.
出版: (2013)

AUTOMATIC GRADING, WHITE BOX AUTOGRADER, SYMBOLIC EXECUTION, CONCOLIC EXECUTION, PATH CONSTRAINT, WEB SERVICE
由: Sudyanto, Morgen

A heuristic approach for single path pipeline execution on grid
由: Ekasit Kijsipongse, et al.
出版: (2018)

Synthesis and traceability of scenario-based executable models
由: Goel, A., et al.
出版: (2013)

Automatic loop summarization via path dependency analysis
由: Xie, Xiaofei, et al.
出版: (2020)

Automatic loop summarization via path dependency analysis
由: XIE, Xiaofei, et al.
出版: (2019)

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
由: Shiqi, Shen, et al.
出版: (2019)

Modeling shared cache and bus in multi-cores for timing analysis
由: Chattopadhyay, S., et al.
出版: (2013)

Automated path generation for software fault localization
由: Wang, T., et al.
出版: (2013)

PATH INTEGRAL APPROACH TO ANALYZE IMPURITY SUBSTRATE INTERACTION IN GRAPHENE
由: HILLOL BISWAS
出版: (2023)

Modeling control speculation for timing analysis
由: Li, X., et al.
出版: (2013)

Accurately choosing execution runs for software fault localization
由: Guo, L., et al.
出版: (2013)

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
由: Wang, Guanhua, et al.
出版: (2020)

Placing pipeline stages on a grid: single path and multipath pipeline execution
由: Ekasit Kijsipongse, et al.
出版: (2013)

Placing pipeline stages on a Grid: Single path and multipath pipeline execution
由: Ekasit Kijsipongse, et al.
出版: (2018)

Timing analysis of embedded software for speculative processors
由: Mitra, T., et al.
出版: (2013)

Timing analysis of body area network applications
由: Liang, Y., et al.
出版: (2014)

Accurate timing analysis by modeling caches, speculation and their interaction
由: Li, X., et al.
出版: (2013)

Modeling out-of-order processors for software timing analysis
由: Li, X., et al.
出版: (2013)

Proteus: Computing disjunctive loop summary via path dependency analysis
由: XIE, Xiaofei, et al.
出版: (2016)

Path exploration based on symbolic output
由: Qi, D., et al.
出版: (2013)

Estimating the energy consumption of executing software processes
由: Singh, V.K., et al.
出版: (2016)

Optimally locating multiple dwell points in a single loop guide path system
由: Ventura, J.A., et al.
出版: (2014)

Optimally locating multiple dwell points in a single loop guide path system
由: Ventura, J.A., et al.
出版: (2014)

Cache-aware timing analysis of streaming applications
由: Chakraborty, S., et al.
出版: (2013)

The worst-case execution-time problem-overview of methods and survey of tools
由: Wilhelm, R., et al.
出版: (2013)

INTELLIGENT PATH SEARCHING AND POSE ESTIMATION
由: JIANG RUI
出版: (2019)

Representing and executing real-time systems
由: Ramirez, R.
出版: (2014)