( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
XSB: A System for Effciently Computing WFS.

, , , , и . LPNMR, том 1265 из Lecture Notes in Computer Science, стр. 431-441. Springer, (1997)

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.

Konstantinos Valetopoulos

Konstantinos Spyridakis

Konstantinos Donas

Konstantinos Paraschakis

Konstantinos Tsaknakis

 

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

CAT: The Copying Approach to Tabling, и . J. Funct. Log. Program., (1999)The development of the HiPE system: design and experience report., , , и . Int. J. Softw. Tools Technol. Transf., 4 (4): 421-436 (2003)ProFuN TG: A tool for programming and managing performance-aware sensor network applications., , , и . LCN Workshops, стр. 751-759. IEEE Computer Society, (2015)Detection of Asynchronous Message Passing Errors Using Static Analysis., и . PADL, том 6539 из Lecture Notes in Computer Science, стр. 5-18. Springer, (2011)Efficiently compiling a functional language on AMD64: the HiPE experience., , и . PPDP, стр. 176-186. ACM, (2005)Message Analysis for Concurrent Languages., , и . SAS, том 2694 из Lecture Notes in Computer Science, стр. 73-90. Springer, (2003)The Nifty way to call hell from heaven., и . Erlang Workshop, стр. 1-11. ACM, (2016)A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , и . CoRR, (2000)Static safety guarantees for a low-level multithreaded language with regions., , и . Sci. Comput. Program., (2014)Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory., , , , и . HPDC, стр. 3-14. ACM, (2015)