Miguel João Gonçalves Areias


AuthID: R-001-QE9

Confirmed Publications: 29



11
TITLE: 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
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
12
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
13
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
14
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
15
TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2017, SOURCE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
16
TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTHORS: Ricardo Goncalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
17
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
18
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
19
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
20
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 2 of 3. Total results: 29.

A place for researchers and their institutions

Useful Links

Get Help

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