Autor der Publikation

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

Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors., und . New Generation Comput., 7 (1): 37-58 (1989)The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism., und . ICLP, Seite 221-236. MIT Press, (1990)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , und . ICLP, Seite 184-200. MIT Press, (1993)Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks., , , und . CoRR, (2016)Preface., , , und . Fundam. Informaticae, (2020)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 795-800. Springer, (2008)Certificate size reduction in abstraction-carrying code., , , und . Theory Pract. Log. Program., 12 (3): 283-318 (2012)Sized Type Analysis for Logic Programs., , , und . Theory Pract. Log. Program., (2013)Some Challenges for Constraint Programming.. Constraints An Int. J., 2 (1): 63-69 (1997)Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.. Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 31-45. Springer, (1997)