ProfileOfResearchers

TITLE: Message from the General Chairs: SBAC-PAD 2020 Full Text
AUTHORS: Miguel Areias ; 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

TITLE: Memory Reclamation Methods for Lock-Free Hash Tries Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 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

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 1

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

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: Miguel Areias ; 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 |

CIÊNCIAVITAE

TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Miguel Areias ; 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 |

CIÊNCIAVITAE

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 |

CIÊNCIAVITAE

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 |

CIÊNCIAVITAE

TITLE: On scaling dynamic programming problems with a multithreaded tabling, Prolog system Full Text
AUTHORS: Miguel Areias ; 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 |

CIÊNCIAVITAE

TITLE: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems Full Text
AUTHORS: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLISHED: 2017, SOURCE: INFORMATION, VOLUME: 8, ISSUE: 4

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID

TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel 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: 5

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

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 |

CIÊNCIAVITAE