( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ENTRA: Whole-systems energy transparency.

, , , , , , , , , , , , , , , , und . Microprocess. Microsystems, (2016)

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 Ustinov

V Adams

V Fendrich

 

Weitere Publikationen von Autoren mit dem selben Namen

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction., , und . ASIAN, Volume 3321 von Lecture Notes in Computer Science, Seite 93-108. Springer, (2004)Efficient Management of Backtracking in AND-Parallelism., und . ICLP, Volume 225 von Lecture Notes in Computer Science, Seite 40-54. Springer, (1986)An Automatic Translation Scheme from Prolog to the Andorra Kernel Language., und . FGCS, Seite 759-769. IOS Press, (1992)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , und . The Logic Programming Paradigm, Springer, (1999)Towards execution time estimation in abstract machine-based languages., , , und . PPDP, Seite 174-184. ACM, (2008)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)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)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library, und . CoRR, (2003)