Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



21
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
22
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
23
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
24
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
25
TÍTULO: Using Iterative Deepening for Probabilistic Logic Inference
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017 in Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, VOLUME: 10137
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
26
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
27
TÍTULO: Declarative Coordination of Graph-based Parallel Programs  Full Text
AUTORES: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
28
TÍTULO: Estimation-Based Search Space Traversal in PILP Environments
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: 26th International Conference on Inductive Logic Programming, ILP 2016 in Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers, VOLUME: 10326
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
29
TÍTULO: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTORES: Joao Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, NÚMERO: 5-6
INDEXADO EM: WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
30
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 3 de 11. Total de resultados: 109.

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