( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.

, , , , , , и . FOPARA, том 9964 из Lecture Notes in Computer Science, стр. 81-100. (2015)

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.

John P Burrows

John P Brown

John P Broussard

John P Dickson

John P Teschke

 

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

Tutorial on Specialisation of Logic Programs.. PEPM, стр. 88-98. ACM, (1993)Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance., и . ICLP, стр. 597-611. MIT Press, (1995)Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates., , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 115-132. Springer, (2005)From Monomorphic to Polymorphic Well-Typings and Beyond., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 152-167. Springer, (2008)Specialisation of a Unification Algorithm., и . LOPSTR, стр. 205-220. Springer, (1991)Tree dimension in verification of constrained Horn clauses., , и . Theory Pract. Log. Program., 18 (2): 224-251 (2018)Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs., и . PADL, том 2257 из Lecture Notes in Computer Science, стр. 243-261. Springer, (2002)Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation., , , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 23-42. Springer, (2007)Tree Automata-Based Refinement with Application to Horn Clause Verification., и . VMCAI, том 8931 из Lecture Notes in Computer Science, стр. 209-226. Springer, (2015)Combatting Energy Issues for Mobile Applications., , , , и . ACM Trans. Softw. Eng. Methodol., 32 (1): 13:1-13:44 (января 2023)