Daniel Prokesch's News Items (5)

News Items Discussions Started (5) Replies Latest Activity

Towards Automated Generation of Time-Predictable Code

Daniel Prokesch, Benedikt Huber and Peter Puschner. Towards Automated Generation of Time-Predictable Code. In Int. Workshop on Worst-Case E…

Started by Daniel Prokesch

0 Sep 23, 2014

The T-CREST Approach of Compiler and WCET-Analysis Integration

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard: The T-CREST Approach of Compiler and WCET-Analysis Integration In: "Proce…

Started by Daniel Prokesch

0 Sep 23, 2014

Combined WCET analysis of bitcode and machine code using control-flow relation graphs

Benedikt Huber, Daniel Prokesch, and Peter Puschner. Combined WCET analysis of bitcode and machine code using control-flow relation graphs.…

Started by Daniel Prokesch

0 Jul 5, 2013

Compiling for Time Predictability

Peter Puschner, Raimund Kirner, Benedikt Huber, and Daniel Prokesch. Compiling for Time Predictability. In Frank Ortmeier and Peter Daniel,…

Started by Daniel Prokesch

0 Oct 1, 2012

A Formal Framework for Precise Parametric WCET Formulas

Benedikt Huber, Daniel Prokesch, and Peter Puschner. A Formal Framework for Precise Parametric WCET Formulas. In Tullio Vardanega, editor,…

Started by Daniel Prokesch

0 Oct 1, 2012

RSS

T-CREST Partners

 

© 2018   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service