No. Title Author Year
1 Improving System-Level Verification of SystemC Models with SPIN Elshuber, Martin et al. 2013
2 A Formal Framework for Precise Parametric WCET Formulas Huber, Benedikt et al. 2012
3 A Code Policy Guaranteeing Fully Automated Path Analysis Huber, Benedikt et al. 2010
4 Is Chip-Multiprocessing the End of Real-Time Scheduling? Schoeberl, Martin et al. 2009
5 Teaching WCET Analysis in Academia and Industry: A Panel Discussion Holsti, Niklas et al. 2009
6 On Composable System Timing, Task Timing, and WCET Analysis Puschner, Peter et al. 2008
7 Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis 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