An Evaluation of WCET Analysis using Symbolic Loop Bounds (bibtex)
by Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Reference:
An Evaluation of WCET Analysis using Symbolic Loop BoundsJens Knoop, Laura Kovács, Jakob ZwirchmayrProceedings of the International Workshop on Worst-Case Execution Time Analysis (WCET), pages 93-103, 2011.
Bibtex Entry:
@inproceedings{WCET11Kovacs,
title = {An Evaluation of WCET Analysis using Symbolic Loop Bounds},
url = {/pubpdf/An_Evaluation_of_WCET_Analysis_using_Symbolic_Loop_Bounds.pdf},
booktitle = {Proceedings of the International Workshop on Worst-Case Execution
Time Analysis (WCET)},
author = {Jens Knoop and Laura Kov\'acs and Jakob Zwirchmayr},
year = {2011},
pages = {93-103},
}
Powered by bibtexbrowser