( en | de | ru )

 

Disambiguierung von "Areias, Miguel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Batched evaluation of linear tabled logic programs.

, und . Comput. Sci. Inf. Syst., 10 (4): 1775-1797 (2013)

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.

Miguel Beato

Miguel Cardozo

Miguel Cruset

Miguel Coelho

Miguel Astner

 

Weitere Publikationen von Autoren mit dem selben Namen

Batched evaluation of linear tabled logic programs., und . Comput. Sci. Inf. Syst., 10 (4): 1775-1797 (2013)On the implementation of memory reclamation methods in a lock-free hash trie design., , und . J. Parallel Distributed Comput., (2021)Batched Evaluation of Full-Sharing Multithreaded Tabling., und . SLATE, Volume 563 von Communications in Computer and Information Science, Seite 113-124. Springer, (2015)On Extending a Linear Tabling Framework to Support Batched Scheduling., und . SLATE, Volume 21 von OASIcs, Seite 9-24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives., und . PADL, Volume 5937 von Lecture Notes in Computer Science, Seite 279-293. Springer, (2010)Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog., und . Concurr. Comput. Pract. Exp., (2019)On the correctness and efficiency of a novel lock-free hash trie map design., und . J. Parallel Distributed Comput., (2021)On the correctness of a lock-free compression-based elastic mechanism for a hash trie design., und . Computing, 104 (10): 2279-2305 (2022)A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling., und . CoRR, (2014)Towards an Elastic Lock-Free Hash Trie Design., und . ISPDC, Seite 9-16. IEEE, (2021)