PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Michaelson, Greg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Peter Landin prize.

, und . Higher-Order and Symbolic Computation, 22 (4): 305-312 (2009)

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.

Cosimo Gregucci University of Stuttgart

Gregor Daiß University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Empirical Parallel Performance Prediction From Semantics-Based Profiling., , und . Scalable Computing: Practice and Experience, (2006)Autonomous Mobile Programs., , und . IAT, Seite 177-186. IEEE Computer Society, (2006)Towards a Box Calculus for Hierarchical Hume., und . Trends in Functional Programming, Volume 8 von Trends in Functional Programming, Seite 71-88. Intellect, (2007)The Embounded project (project start paper)., , , , , , , , , und 2 andere Autor(en). Trends in Functional Programming, Volume 6 von Trends in Functional Programming, Seite 195-210. Intellect, (2005)Introduction., und . Research Directions in Parallel Functional Programming, Springer, (1999)Predictable Space Behaviour in FSM-Hume., und . IFL, Volume 2670 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2002)RIPL: An Efficient Image Processing DSL for FPGAs., , , und . CoRR, (2015)Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing., , , , und . J. Imaging, 5 (1): 7 (2019)Managing Heterogeneity in a Grid Parallel Haskell., , , und . International Conference on Computational Science (2), Volume 3515 von Lecture Notes in Computer Science, Seite 746-754. Springer, (2005)Towards Formally Verifiable WCET Analysis for a Functional Programming Language., , , , , , , , , und 2 andere Autor(en). WCET, Volume 4 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)