Author of the publication

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

Improving GHC Haskell NUMA profiling., , and . FHPNC@ICFP, page 1-12. ACM, (2021)Benchmarking Parallelism in Unikernels., , , and . Euro-Par Workshops, volume 13835 of Lecture Notes in Computer Science, page 286-293. Springer, (2022)Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell., , and . TFP, volume 11457 of Lecture Notes in Computer Science, page 1-19. Springer, (2018)F1TENTH: An Over-taking Algorithm Using Machine Learning., and . ICAC, page 1-6. IEEE, (2023)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.Parallel Computing and Practical Constraints when applying the Standard POMDP Belief Update Formalism to Spoken Dialogue Management., , , and . IWSDS, page 189-201. Springer, (2011)Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell., , and . Functional Programming, page 111-126. Springer, (1994)Architecture-aware cost modelling for parallel performance portability., , , and . Software Engineering (Workshops), volume P-199 of LNI, page 105-120. GI, (2012)A Playful Learning Exercise: Kashmir Crisis., , and . GALA, volume 13134 of Lecture Notes in Computer Science, page 3-13. Springer, (2021)