( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A scalability benchmark suite for Erlang/OTP.

, , , , , и . Erlang Workshop, стр. 33-42. ACM, (2012)

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 Paraschakis

Konstantinos Siantidis

Konstantinos Donas

Konstantinos Rizas

Konstantinos Tsaknakis

 

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

An Abstract Machine for Computing the Well-Founded Semantics., , и . JICSLP, стр. 274-288. MIT Press, (1996)XSB as the Natural Habitat for General Purpose Program Analysis., , и . ICLP, стр. 416. MIT Press, (1997)The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation., , и . FLOPS, том 2441 из Lecture Notes in Computer Science, стр. 228-244. Springer, (2002)Practical type inference based on success typings., и . PPDP, стр. 167-178. ACM, (2006)Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story., и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2004)A high performance Erlang system., , и . PPDP, стр. 32-43. ACM, (2000)Automatic refactoring of Erlang programs., и . PPDP, стр. 13-24. ACM, (2009)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , и . CADE, том 1104 из Lecture Notes in Computer Science, стр. 328-342. Springer, (1996)Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs.. FLOPS, том 6009 из Lecture Notes in Computer Science, стр. 13-18. Springer, (2010)On Enabling the WAM with Region Support., и . ICLP, том 2401 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2002)