Miguel João Gonçalves Areias


AuthID: R-001-QE9

Confirmed Publications: 30



1
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTHORS: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: Automating microsatellite screening and primer design from multi-individual libraries using Micro-Primers  Full Text
AUTHORS: Alves, F; Martins, FMS; Areias, M ; Antonio Muñoz Mérida ;
PUBLISHED: 2022, SOURCE: SCIENTIFIC REPORTS, VOLUME: 12, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
3
TITLE: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design  Full Text
AUTHORS: Areias, Miguel ; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: COMPUTING, VOLUME: 104, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
5
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTHORS: Moreno, P ; Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: Preface
AUTHORS: Rocha, R; Formisano, A; Liu, YA; Areias, M ; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P;
PUBLISHED: 2021, SOURCE: 37th International Conference on Logic Programming (Technical Communications), ICLP 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 345
INDEXED IN: Scopus
IN MY: ORCID
7
TITLE: Towards an Elastic Lock-Free Hash Trie Design
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: 20th International Symposium on Parallel and Distributed Computing (ISPDC) in 2021 20TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC)
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Towards an elastic lock-free hash trie design
AUTHORS: Areias, M ; Rocha, R;
PUBLISHED: 2021, SOURCE: 20th International Symposium on Parallel and Distributed Computing, ISPDC 2021 in Proceedings - 2021 20th International Symposium on Parallel and Distributed Computing, ISPDC 2021
INDEXED IN: Scopus
9
TITLE: A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2020, SOURCE: 26th International European Conference on Parallel and Distributed Computing, Euro-Par 2020 in Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings, VOLUME: 12247
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: Message from the General Chairs: SBAC-PAD 2020  Full Text
AUTHORS: Areias, M ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 1 of 3. Total results: 30.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service