Symbolic Loop Bound Computation for WCET Analysis (bibtex)
by Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Reference:
Symbolic Loop Bound Computation for WCET AnalysisJens Knoop, Laura Kovács, Jakob ZwirchmayrProceedings of the International Conference on Perspectives of System Informatics (PSI), volume 7162 of LNCS, pages 224-239, 2011.
Bibtex Entry:
@inproceedings{PSI11Kovacs,
title = {Symbolic Loop Bound Computation for WCET Analysis},
url = {/pubpdf/Symbolic_Loop_Bound_Computation_for_WCET_Analysis.pdf},
series = {LNCS},
booktitle = {Proceedings of the International Conference on Perspectives of System
Informatics (PSI)},
author = {Jens Knoop and Laura Kov\'acs and Jakob Zwirchmayr},
volume = {7162},
year = {2011},
pages = {224-239},
}
Powered by bibtexbrowser