Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Ricardo Rocha
Investigador Sénior
Projetos
Publicações
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Moreno, P;Areias, M;Rocha, R;Costa, VS;
2024
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
On Extending a Linear Tabling Framework to Support Batched Scheduling
Areias, M;Rocha, R;
2012
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012
Preface
Rocha, R;Launchbury, J;
2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Global Trie for Subterms
Raimundo, Joao;Rocha, Ricardo;
2011
CoRR
Teses Orientadas
Generic Lock-Free Memory Reclamation
Pedro Carvalho Moreno
D - 2019
UP-FCUP
Lock-Free Memory Reclamation for Concurrent Hash Tries
Paulo Jorge Teixeira Rosa
M - 2020
UP-FCUP
Generic Lock-Free Memory Reclamation
Pedro Carvalho Moreno
D - 2020
UP-FCUP
Elasticidade em Lock-Free Hash-Tries
João Miguel Chamiça Pereira
M - 2021
UP-FCUP
