( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ENTRA: Whole-systems energy transparency.

, , , , , , , , , , , , , , , , и . Microprocess. Microsystems, (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.

John P Burrows

John P Brown

John P Broussard

John P Teschke

John P Dickson

 

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

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance., и . ICLP, стр. 597-611. MIT Press, (1995)An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata., , и . CoRR, (2015)Type-based homeomorphic embedding for online termination., , , и . Inf. Process. Lett., 109 (15): 879-886 (2009)The Derivation of an Algorithm for Program Specialisation., и . New Gener. Comput., 9 (3/4): 305-334 (1991)Tutorial on Specialisation of Logic Programs.. PEPM, стр. 88-98. ACM, (1993)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)Combatting Energy Issues for Mobile Applications., , , , и . ACM Trans. Softw. Eng. Methodol., 32 (1): 13:1-13:44 (января 2023)