( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.

, , , и . LOPSTR, том 10855 из Lecture Notes in Computer Science, стр. 54-72. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

V Saile

V Geoffroy

V Ustinov

V Adams

V Fendrich

 

Другие публикации лиц с тем же именем

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , и . ICSOC, том 7084 из Lecture Notes in Computer Science, стр. 62-76. Springer, (2011)Towards execution time estimation in abstract machine-based languages., , , и . PPDP, стр. 174-184. ACM, (2008)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 795-800. Springer, (2008)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , и . The Logic Programming Paradigm, Springer, (1999)An Automatic Translation Scheme from Prolog to the Andorra Kernel Language., и . FGCS, стр. 759-769. IOS Press, (1992)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library, и . CoRR, (2003)Certificate size reduction in abstraction-carrying code., , , и . Theory Pract. Log. Program., 12 (3): 283-318 (2012)Sized Type Analysis for Logic Programs., , , и . Theory Pract. Log. Program., (2013)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , и . ICLP, стр. 184-200. MIT Press, (1993)The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism., и . ICLP, стр. 221-236. MIT Press, (1990)