PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Herrmann, Christoph A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counter Automata for Parameterised Timing Analysis of Box-Based Systems.

, und . FOPARA, Volume 7177 von Lecture Notes in Computer Science, Seite 126-141. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Justin Herrmann University of Stuttgart

A. Laukemann

A. Laukemann

Dominik Herrmann

Dr. -Ing. Florian Herrmann University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallelization of Divide-and-Conquer by Translation to Nested Loops., und . J. Funct. Program., 9 (3): 279-310 (1999)The Static Parallelization of Loops and Recursions., , und . The Journal of Supercomputing, 11 (4): 333-353 (1997)Transformation of Divide & Conquer to Nested Parallel Loops., und . PLILP, Volume 1292 von Lecture Notes in Computer Science, Seite 95-109. Springer, (1997)Transforming Rapid Prototypes to Efficient Parallel Programs., und . Patterns and Skeletons for Parallel and Distributed Computing, Springer, (2003)Counter Automata for Parameterised Timing Analysis of Box-Based Systems., und . FOPARA, Volume 7177 von Lecture Notes in Computer Science, Seite 126-141. Springer, (2011)Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining., , , und . Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 930-934. Springer, (1999)Automatic Amortised Worst-Case Execution Time Analysis., , , , , und . WCET, Volume 6 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)HDC: A Higher-Order Language for Divide-and-Conquer., und . Parallel Processing Letters, 10 (2/3): 239-250 (2000)Generating Message-passing Programs from Abstract Specifications by Partial Evaluation.. Parallel Processing Letters, 15 (3): 305-320 (2005)Lightweight Invariants with Full Dependent Types., , und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 161-177. Intellect, (2008)