Autor der Publikation

Resource analyses for parallel and distributed coordination.

, , , , und . Concurrency and Computation: Practice and Experience, 25 (3): 309-348 (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Peter Landin prize., und . Higher-Order and Symbolic Computation, 22 (4): 305-312 (2009)Resource analyses for parallel and distributed coordination., , , , und . Concurrency and Computation: Practice and Experience, 25 (3): 309-348 (2013)Automatic Skeletons in Template Haskell., , und . Parallel Processing Letters, 13 (3): 413-424 (2003)Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework., , , , und . ISPDC, Seite 143-150. IEEE Computer Society, (2007)Parallel heuristic search in Haskell., , und . Scottish Functional Programming Workshop, Volume 2 von Trends in Functional Programming, Seite 65-76. Intellect, (2000)On the Granularity of Divide-and-Conquer Parallelism., und . Functional Programming, Seite 8. Springer, (1995)Implementing Haskell Type Classes., und . Functional Programming, Seite 266-286. Springer, (1989)Discovering parallel pattern candidates in Erlang., , , , , , , , , und . Erlang Workshop, Seite 13-23. ACM, (2014)Worst-Case Execution Times for a Purely Functional Language., , , und . IFL, Volume 4449 von Lecture Notes in Computer Science, Seite 235-252. Springer, (2006)Towards resource-certified software: a formal cost model for time and its application to an image-processing example., , , , , und . SAC, Seite 1307-1314. ACM, (2007)