PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Herrmann, Christoph A."

Author of the publication

copydeleteadd this publication to your clipboard
Transformation of Divide & Conquer to Nested Parallel Loops.

, and . PLILP, volume 1292 of Lecture Notes in Computer Science, page 95-109. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Justin Herrmann University of Stuttgart

A. Laukemann

A. Laukemann

Dominik Herrmann

Dr. -Ing. Florian Herrmann University of Stuttgart

 

Other publications of authors with the same name

Transforming Rapid Prototypes to Efficient Parallel Programs., and . Patterns and Skeletons for Parallel and Distributed Computing, Springer, (2003)Transformation of Divide & Conquer to Nested Parallel Loops., and . PLILP, volume 1292 of Lecture Notes in Computer Science, page 95-109. Springer, (1997)Parallelization of Divide-and-Conquer by Translation to Nested Loops., and . J. Funct. Program., 9 (3): 279-310 (1999)The Static Parallelization of Loops and Recursions., , and . The Journal of Supercomputing, 11 (4): 333-353 (1997)Counter Automata for Parameterised Timing Analysis of Box-Based Systems., and . FOPARA, volume 7177 of Lecture Notes in Computer Science, page 126-141. Springer, (2011)Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining., , , and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 930-934. Springer, (1999)Automatic Amortised Worst-Case Execution Time Analysis., , , , , and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)HDC: A Higher-Order Language for Divide-and-Conquer., and . 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., , and . Trends in Functional Programming, volume 9 of Trends in Functional Programming, page 161-177. Intellect, (2008)