Daniel Prokesch

14 papers B 1C 4Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Patmos: a time-predictable microprocessor.
Real Time Syst.
Martin Schoeberl, Wolfgang Puffitsch, Stefan Hepp, Benedikt Huber, Daniel Prokesch
2017 — conf
Best Practice for Caching of Single-Path Code.
WCET
Martin Schoeberl, Bekim Cilku, Daniel Prokesch, Peter P. Puschner
2017 C conf
Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy.
ISORC
Bekim Cilku, Wolfgang Puffitsch, Daniel Prokesch, Martin Schoeberl, Peter P. Puschner
2016 — conf
Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control.
MCSoC
Peter P. Puschner, Bekim Cilku, Daniel Prokesch
2015 C conf
A Generator for Time-Predictable Code.
ISORC
Daniel Prokesch, Stefan Hepp, Peter P. Puschner
2015 — conf
A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking.
ISORC Workshops
Bekim Cilku, Daniel Prokesch, Peter P. Puschner
2015 J jnl
T-CREST: Time-predictable multi-core architecture for embedded systems.
J. Syst. Archit.
Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil C. Audsley, Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp, Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch, Peter P. Puschner, André Rocha, Cláudio Silva, Jens Sparsø, Alessandro Tocchi
2014 — conf
Towards Automated Generation of Time-Predictable Code.
WCET
Daniel Prokesch, Benedikt Huber, Peter P. Puschner
2013 B conf
Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
LCTES
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2013 C conf
The T-CREST approach of compiler and WCET-analysis integration.
ISORC
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
2013 C conf
Time-predictable code execution - Instruction-set support for the single-path approach.
ISORC
Clemens B. Geyer, Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
A Formal Framework for Precise Parametric WCET Formulas.
WCET
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
Compiling for Time Predictability.
SAFECOMP Workshops
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
2012 J jnl
Construction and Implementation of a Simple Agent-Based System on GPU-Architectures.
Simul. Notes Eur.
Günter Schneckenreither, Stefan Hepp, Daniel Prokesch