Miguel João Gonçalves Areias


AuthID: R-001-QE9

Publicações Confirmadas: 30



11
TÍTULO: Memory Reclamation Methods for Lock-Free Hash Tries  Full Text
AUTORES: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2019, FONTE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
12
TÍTULO: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog  Full Text
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
13
TÍTULO: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2018, FONTE: 16th IEEE ISPA / 17th IEEE IUCC / 8th IEEE BDCloud / 11th IEEE SocialCom / 8th IEEE SustainCom in 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
14
TÍTULO: Table space designs for implicit and explicit concurrent tabled evaluation
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2018, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, NÚMERO: 5-6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1806.00441
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
16
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
17
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTORES: Ricardo Goncalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
18
TÍTULO: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTORES: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLICAÇÃO: 2017, FONTE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
19
TÍTULO: Towards an Automated Test Bench Environment for Prolog Systems
AUTORES: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
20
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
Página 2 de 3. Total de resultados: 30.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service