Search Results - "Prantl, Adrian"

Global transformations for legacy parallel applications via structural analysis and rewriting by Chavarría-Miranda, Daniel, Panyala, Ajay, Ma, Wenjing, Prantl, Adrian, Krishnamoorthy, Sriram

“…•We present a toolchain to transform legacy parallel applications.•Supports both C and Fortran applications with MPI or Global Arrays.•We employ techniques…”
Get full text

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges by Schordan, Markus, Prantl, Adrian

“…We present a combination of approaches for the verification of event-condition-action (ECA) systems. The analyzed ECA systems range from structurally simple to…”
Get full text

Transforming flow information during code optimization for timing analysis by Kirner, Raimund, Puschner, Peter, Prantl, Adrian

“…The steadily growing embedded-systems market comprises many application domains in which real-time constraints must be satisfied. To guarantee that these…”
Get full text

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis by Kirner, Raimund, Knoop, Jens, Prantl, Adrian, Schordan, Markus, Kadlec, Albrecht

“…Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take…”
Get full text

High-performance language interoperability for scientific computing through Babel by Epperly, Thomas GW, Kumfert, Gary, Dahlgren, Tamara, Ebner, Dietmar, Leek, Jim, Prantl, Adrian, Kohn, Scott

“…High-performance scientific applications are usually built from software modules written in multiple programming languages. This raises the issue of language…”
Get full text

Constraint solving for high-level WCET analysis by Prantl, Adrian, Knoop, Jens, Schordan, Markus, Triska, Markus

“…The safety of our day-to-day life depends crucially on the correct functioning of embedded software systems which control the functioning of more and more…”
Get full text