Daniel Cordes

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

Daniel Cordes, Heiko Falk, Peter Marwedel · 2009 · 72 citations · Full text

Computing, Computer Engineering, Computer Science +16

Automatic parallelization of embedded software using hierarchical task graphs and integer linear programming

Daniel Cordes, Peter Marwedel, Arindam Mallik · 2010 · 49 citations

Engineering, Computer Engineering, Computer Science +11

Automatic Extraction of Pipeline Parallelism for Embedded Software Using Linear Programming

Daniel Cordes, Andreas Heinig, Peter Marwedel et al. · 2011 · 23 citations

Engineering, Computer Engineering, Computer Science +13

Automatic extraction of pipeline parallelism for embedded heterogeneous multi-core platforms

Daniel Cordes, Michael S. Engel, Olaf Neugebauer et al. · Compilers, Architecture, and Synthesis for Embedded Systems · 2013 · 13 citations

Computing, Computer Engineering, Computer Science +14

WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Niklas Holsti, Jan Gustafsson, Guillem Bernat et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 11 citations · Full text

Computing, Computer Engineering, Computer Science +16