( en | de | ru )

 

Disambiguierung von "Rocha, Ricardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nino Rocha

Paula Suares Rocha

Jacqueline Rocha

Marcio Rocha

Eduardo Saraiva Rocha

 

Weitere Publikationen von Autoren mit dem selben Namen

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