Symbolic simulation on complicated loops for WCET path analysis
10.1145/2038642.2038692
Saved in:
Main Authors: | Chu, D.-H., Jaffar, J. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40047 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Interpolation Methods for Symbolic Execution
by: CHU DUC HIEP
Published: (2013) -
Efficient detection and exploitation of infeasible paths for software timing analysis
by: Suhendra, V., et al.
Published: (2013) -
Unified cache modeling for WCET analysis and layout optimizations
by: Chattopadhyay, S., et al.
Published: (2013) -
Bus-aware multicore WCET analysis through TDMA offset bounds
by: Kelter, T., et al.
Published: (2013) -
Scope-aware data cache analysis for WCET estimation
by: HUYNH BACH KHOA
Published: (2011)