( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.

, , , и . CoRR, (2016)

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 Geoffroy

V Saile

V Fendrich

V Adams

V Ustinov

 

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

The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.. AIFIPP, том A-27 из IFIP Transactions, стр. 207-221. North-Holland, (1992)Parallel Execution of Prolog Programs: A Survey, , , , и . ACM Trans. Program. Lang. Syst., 23 (4): 472--602 (июля 2001)Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs.. ICLP, стр. 556-575. MIT Press, (1987)Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism., и . ICLP, стр. 80-97. MIT Press, (1989)Abstraction-Carrying Code: a Model for Mobile Code Safety., , и . New Generation Comput., 26 (2): 171-204 (2008)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , и . New Gener. Comput., 28 (2): 177-206 (2010)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , и . CoRR, (2013)A study of set-sharing analysis via cliques., , и . CoRR, (2005)Abstract Interpretation with Specialized Definitions., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2006)Precise Set Sharing Analysis for Java-Style Programs., и . VMCAI, том 4905 из Lecture Notes in Computer Science, стр. 172-187. Springer, (2008)