PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
Ph.D
Saved in:
Main Author: | RASOOL MAGHAREH |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/134930 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
Chronos: A timing analyzer for embedded software
by: Li, X., et al.
Published: (2013) -
The worst-case execution-time problem-overview of methods and survey of tools
by: Wilhelm, R., et al.
Published: (2013) -
Context-sensitive timing analysis of Esterel programs
by: Ju, L., et al.
Published: (2013) -
Interpolation Methods for Symbolic Execution
by: CHU DUC HIEP
Published: (2013) -
Microarchitecture modeling for timing analysis of embedded software
by: LI XIANFENG
Published: (2010)