No. Title Author Year
1 OASIcs, Volume 8, WCET'08, Complete Volume Kirner, Raimund 2012
2 From Trusted Annotations to Verified Knowledge Prantl, Adrian et al. 2009
3 WCET 2008 Abstracts Collection -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Kirner, Raimund 2008
4 WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Holsti, Niklas et al. 2008
5 Towards a Common WCET Annotation Language: Essential Ingredients Kirner, Raimund et al. 2008
6 Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis Kirner, Raimund et al. 2007
7 WCET Analysis: The Annotation Language Challenge Kirner, Raimund et al. 2007
8 Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup Kirner, Raimund et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI