Autor der Publikation

Automatic Amortised Worst-Case Execution Time Analysis.

, , , , , und . WCET, Volume 6 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

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

Implementing Declarative Parallel Bottom-Avoiding Choice., , , und . SBAC-PAD, Seite 82-92. IEEE Computer Society, (2002)Preserving coordination properties when transforming concurrent system components., , , und . SAC, Seite 126-127. ACM, (2008)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)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)Runtime system level fault tolerance for a distributed functional language., , und . Scottish Functional Programming Workshop, Volume 2 von Trends in Functional Programming, Seite 103-114. Intellect, (2000)Parallel and Distributed Haskells., , und . J. Funct. Program., 12 (4&5): 469-510 (2002)The Design and Implementation of Glasgow Distributed Haskell., , und . IFL, Volume 2011 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2000)Functional Vs Object-Oriented Distributed Languages., , , , und . EUROCAST, Volume 2178 von Lecture Notes in Computer Science, Seite 642-656. Springer, (2001)Automatic Amortised Worst-Case Execution Time Analysis., , , , , und . WCET, Volume 6 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)