PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION

PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION

Ph.D

Saved in:
Bibliographic Details
Main Author: RASOOL MAGHAREH
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2017
Subjects:
Symbolic Execution, Worst-case Resource Analysis, WCET, Memory High-watermark, WCEC, Real-time Systems
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
id sg-nus-scholar.10635-134930
record_format dspace
spelling sg-nus-scholar.10635-1349302017-03-06T23:55:01Z PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION RASOOL MAGHAREH COMPUTER SCIENCE JAFFAR, JOXAN Symbolic Execution, Worst-case Resource Analysis, WCET, Memory High-watermark, WCEC, Real-time Systems Ph.D DOCTOR OF PHILOSOPHY 2017-02-28T18:00:59Z 2017-02-28T18:00:59Z 2016-07-28 Thesis RASOOL MAGHAREH (2016-07-28). PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/134930 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Symbolic Execution, Worst-case Resource Analysis, WCET, Memory High-watermark, WCEC, Real-time Systems
spellingShingle Symbolic Execution, Worst-case Resource Analysis, WCET, Memory High-watermark, WCEC, Real-time Systems
RASOOL MAGHAREH
PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
RASOOL MAGHAREH
format Theses and Dissertations
author RASOOL MAGHAREH
author_sort RASOOL MAGHAREH
title PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
title_short PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
title_full PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
title_fullStr PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
title_full_unstemmed PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
title_sort precise yet scalable resource analysis via symbolic execution
publishDate 2017
url http://scholarbank.nus.edu.sg/handle/10635/134930
_version_ 1681097690701627392

Similar Items