( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design.

, и . Computing, 104 (10): 2279-2305 (2022)

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.

Nino Rocha

Paula Suares Rocha

Jacqueline Rocha

Marcio Rocha

Erwin Rochau

 

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

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., и . CoRR, (2013)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , и . PPDP, стр. 43-54. ACM, (2014)On Applying Probabilistic Logic Programming to Breast Cancer Data., , и . ILP, том 10759 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2017)On Applying Or-Parallelism and Tabling to Logic Programs., , и . Theory Pract. Log. Program., 5 (1-2): 161-205 (2005)Threads and or-parallelism unified., , и . Theory Pract. Log. Program., 10 (4-6): 417-432 (2010)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , и . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)Forest trees for on-line data., , и . SAC, стр. 632-636. ACM, (2004)Global Storing Mechanisms for Tabled Evaluation., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 708-712. Springer, (2008)On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 444-445. Springer, (2007)On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.. PADL, том 4354 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)