( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.

, , , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 54-72. Springer, (2017)

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.

V Saile

V Geoffroy

V Wittwer

V Ustinov

V Adams

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2011)Towards execution time estimation in abstract machine-based languages., , , und . PPDP, Seite 174-184. ACM, (2008)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)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , und . The Logic Programming Paradigm, Springer, (1999)An Automatic Translation Scheme from Prolog to the Andorra Kernel Language., und . FGCS, Seite 759-769. IOS Press, (1992)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library, und . CoRR, (2003)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 Paradigms for Visualizing Parallel Execution of Logic Programs., , und . ICLP, Seite 184-200. MIT Press, (1993)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)