No. Title Author Year
1 The Auspicious Couple: Symbolic Execution and WCET Analysis Biere, Armin et al. 2013
2 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation Altman, Erik et al. 2009
3 From Trusted Annotations to Verified Knowledge Prantl, Adrian et al. 2009
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 Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis Knoop, Jens 2008
6 Towards a Common WCET Annotation Language: Essential Ingredients Kirner, Raimund et al. 2008
7 TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis Prantl, Adrian et al. 2008
8 WCET Analysis: The Annotation Language Challenge Kirner, Raimund et al. 2007
9 05101 Abstracts Collection -- Scheduling for Parallel Architectures: Theory, Applications, Challenges Altman, Erik et al. 2005
10 05101 Executive Summary -- Scheduling for Parallel Architectures: Theory, Applications, Challenges Altman, Erik et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI