Browsing by Author Kirner, Raimund
Showing results 1 to 8 of 8
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Haas, Walter | Automatic coverage-profile calculation for code optimization | Thesis Hochschulschrift   | 2010 |
 | Kirner, Martin | Automatic loop bound analysis of programs written in C | Thesis Hochschulschrift | 2006 |
 | Prokesch, Daniel | A light-weight parallel execution layer for shared-memory stream processing | Thesis Hochschulschrift | 2010 |
 | Jakovljević, Miljenko | Particle Swarm Optimization for generating input data in measurement based Worst-Case Execution Time analysis | Thesis Hochschulschrift | 2011 |
 | Zolda, Michael | Precise measurement-based worst-case execution time estimation | Thesis Hochschulschrift | 2012 |
 | Trojer, Josef M. | Requirement classification of dependable real-time systems | Thesis Hochschulschrift | 2007 |
 | Kandl, Susanne | A requirement-based systematic test-case generation method for safety-critical embedded systems | Thesis Hochschulschrift | 2010 |
 | Križan, Branislav | A unit-test platform for design tools for fault-tolerant real-time systems | Thesis Hochschulschrift | 2007 |