Author of the publication

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

, , , , , , , , , , , and . (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.

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.

 

Other publications of authors with the same name

CAMLFLOW: a CAML to data-flow graph translator.. Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, page 129-144. Intellect, (2000)Fast prototyping of parallel-vision applications using functional skeletons., , , and . Mach. Vis. Appl., 12 (6): 271-290 (2001)Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators., , , , , , , and . IEEE Embed. Syst. Lett., 11 (3): 69-72 (2019)The CAPH Language, Ten Years After., and . SAMOS, volume 11733 of Lecture Notes in Computer Science, page 336-347. Springer, (2019)Explicit Parallelism.. Research Directions in Parallel Functional Programming, Springer, (1999)A New High-Level Methodology for Programming FPGA-Based Smart Camera., , , and . DSD, page 573-578. IEEE Computer Society, (2010)Fast Prototyping of Image Processing Applications Using Functional Skeletons on a MIMD-DM Architecture., , and . MVA, page 468-471. (1998)FSM-Hume is finite state., , and . Trends in Functional Programming, volume 4 of Trends in Functional Programming, page 19-28. Intellect, (2003)Towards Formally Verifiable WCET Analysis for a Functional Programming Language, , , , , , , , , and 2 other author(s). (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications., , and . PaCT, volume 1662 of Lecture Notes in Computer Science, page 296-305. Springer, (1999)