pdf-format: |
|
@InProceedings{bygde_et_al:OASIcs:2008:1659, author = {Stefan Bygde and Bj{\"o}rn Lisper}, title = {{Towards an Automatic Parametric WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Raimund Kirner}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1659}, URN = {urn:nbn:de:0030-drops-16592}, doi = {10.4230/OASIcs.WCET.2008.1659}, note = {also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3}, annote = {Keywords: WCET, Flow Analysis, Parametric, Symbolic} }
Keywords: | WCET, Flow Analysis, Parametric, Symbolic | |
Seminar: | 8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08) | |
Issue date: | 2008 | |
Date of publication: | 13.11.2008 |