Autor der Publikation

Adaptive Parallel Matrix Computing through Compiler and Run-time Support.

, , , , , und . PARCO, Volume 19 von Advances in Parallel Computing, Seite 359-368. IOS Press, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing., und . ILPS, Seite 439-453. MIT Press, (1994)Adaptive Parallel Matrix Computing through Compiler and Run-time Support., , , , , und . PARCO, Volume 19 von Advances in Parallel Computing, Seite 359-368. IOS Press, (2009)Convex Hull Abstractions in Specialization of CLP Programs., und . LOPSTR, Volume 2664 von Lecture Notes in Computer Science, Seite 90-108. Springer, (2002)Imperative Program Specialisation: An Approach Using CLP., und . LOPSTR, Volume 1817 von Lecture Notes in Computer Science, Seite 102-117. Springer, (1999)LTSs for translation validation of (multi-clocked) SIGNAL specifications., , , und . MEMOCODE, Seite 199-208. IEEE Computer Society, (2010)Using Regular Approximations for Generalisation During Partial Evalution., und . PEPM, Seite 44-51. ACM, (2000)Regular Tree Languages as an Abstract Domain in Program Specialisation., und . High. Order Symb. Comput., 14 (2-3): 143-172 (2001)Analysis and specialisation of imperative programs : an approach using CLP.. University of Bristol, UK, (2000)British Library, EThOS.