Symbolic simulation on complicated loops for WCET path analysis

10.1145/2038642.2038692

Saved in:

Bibliographic Details
Main Authors:	Chu, D.-H., Jaffar, J.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Interpolation Path analysis Summarization WCET
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

id	sg-nus-scholar.10635-40047
record_format	dspace
spelling	sg-nus-scholar.10635-400472015-01-12T13:15:38Z Symbolic simulation on complicated loops for WCET path analysis Chu, D.-H. Jaffar, J. COMPUTER SCIENCE Interpolation Path analysis Summarization WCET 10.1145/2038642.2038692 Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11 319-328 2013-07-04T07:55:28Z 2013-07-04T07:55:28Z 2011 Conference Paper Chu, D.-H.,Jaffar, J. (2011). Symbolic simulation on complicated loops for WCET path analysis. Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11 : 319-328. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2038642.2038692" target="_blank">https://doi.org/10.1145/2038642.2038692</a> 9781450307147 http://scholarbank.nus.edu.sg/handle/10635/40047 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Interpolation Path analysis Summarization WCET
spellingShingle	Interpolation Path analysis Summarization WCET Chu, D.-H. Jaffar, J. Symbolic simulation on complicated loops for WCET path analysis
description	10.1145/2038642.2038692
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chu, D.-H. Jaffar, J.
format	Conference or Workshop Item
author	Chu, D.-H. Jaffar, J.
author_sort	Chu, D.-H.
title	Symbolic simulation on complicated loops for WCET path analysis
title_short	Symbolic simulation on complicated loops for WCET path analysis
title_full	Symbolic simulation on complicated loops for WCET path analysis
title_fullStr	Symbolic simulation on complicated loops for WCET path analysis
title_full_unstemmed	Symbolic simulation on complicated loops for WCET path analysis
title_sort	symbolic simulation on complicated loops for wcet path analysis
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40047
_version_	1681082200720670720

Symbolic simulation on complicated loops for WCET path analysis

Similar Items