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


DROPS-Home | Fulltext Search | Imprint Published by LZI