Daniel Prokesch's News Items (5)

View

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

T-CREST Partners