Ricardo Rocha

发表

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling

Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, 2005, ICLP.

A lock-free coalescing-capable mechanism for memory management

Ricardo Rocha, Ricardo Leite, 2019, ISMM.

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 2012, 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs pdf

Ricardo Rocha, Flávio Cruz, 2011, Theory Pract. Log. Program..

DPM: Future Proof Storage

Ricardo Rocha, Fabrizio Furano, Alejandro Alvarez, 2012 .

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2014, PADL.

LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator

Ricardo Rocha, Ricardo Leite, 2018, VECPAR.

Or-Parallel Prolog Execution on Clusters of Multicores

Ricardo Rocha, João Santos, 2013, SLATE.

Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog

Ricardo Rocha, Miguel Areias, 2019, Concurr. Comput. Pract. Exp..

A hybrid mapreduce model for prolog

Ricardo Rocha, Inês de Castro Dutra, Joana Côrte-Real, 2014, 2014 International Symposium on Integrated Circuits (ISIC).

Batched evaluation of linear tabled logic programs

Ricardo Rocha, Miguel Areias, 2013, Comput. Sci. Inf. Syst..

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems pdf

Ricardo Rocha, Christian Theil Have, 2013, ArXiv.

Or-Parallelism within Tabling

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 1999, PADL.

Towards digesting the alphabet-soup of statistical relational learning

Luc De Raedt, Wannes Meert, Bart Demoen, 2008 .

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs

Ricardo Rocha, João Raimundo, 2011, EPIA.

YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters

Ricardo Rocha, Fernando M. A. Silva, Rolando Martins, 2003, EPIA.

Introduction to the 33rd international conference on logic programming special issue

Tran Cao Son, Ricardo Rocha, 2017, Theory Pract. Log. Program..

Declarative coordination of graph-based parallel programs

Seth Copen Goldstein, Ricardo Rocha, Flávio Cruz, 2016, PPoPP.

Web enabled data management with DPM & LFC

Ricardo Rocha, Fabrizio Furano, Alexandre Beche, 2012 .

Single Time-Stamped Tries for Retroactive Call Subsumption pdf

Ricardo Rocha, Flávio Cruz, 2011, ArXiv.

Efficient and Scalable Induction of Logic Programs Using a Deductive Database System

Nuno A. Fonseca, Ricardo Rocha, Michel Ferreira, 2007, ILP.

On Extending a Linear Tabling Framework to Support Batched Scheduling

Ricardo Rocha, Miguel Areias, 2012, SLATE.

On the implementation of the probabilistic logic programming language ProbLog

Luc De Raedt, Bart Demoen, Ricardo Rocha, 2010, Theory and Practice of Logic Programming.

On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation

Ricardo Rocha, 2007, PADL.

A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map

Ricardo Rocha, Miguel Areias, Pedro Moreno, 2020, Euro-Par.

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores pdf

Ricardo Rocha, João Santos, 2016, Theory Pract. Log. Program..

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2009, EPIA.

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2014, International Journal of Parallel Programming.

Concurrent Table Accesses in Parallel Tabled Logic Programs

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 2004, Euro-Par.

DPM — efficient storage in diverse environments

Ricardo Rocha, David Smith, Fabrizio Furano, 2014 .

Relational Models for Tabling Logic Programs in a Database

Ricardo Rocha, Michel Ferreira, Pedro Costa, 2007, INAP/WLP.

On the Efficient Implementation of Mode-Directed Tabling

Ricardo Rocha, João Santos, 2013, PADL.

Handling Incomplete and Complete Tables in Tabled Logic Programs

Ricardo Rocha, 2006, ICLP.

Thread-Aware Logic Programming for Data-Driven Parallel Programs

Seth Copen Goldstein, Ricardo Rocha, Flávio Cruz, 2015, ICLP.

Proceedings of the Fifth Colloquium on Implementation of Constraint and LOgic Programming Systems

Ricardo Rocha, Christian Schulte, Fernando Silva, 2005 .

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Ricardo Rocha, Flávio Cruz, Ricardo Rocha, 2015, PADL.

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

Seth Copen Goldstein, Ricardo Rocha, Flávio Cruz, 2014, PPDP '14.

Dashboard for the LHC Experiments

Ricardo Rocha, Pablo Saiz, J Andreeva, 2009 .

Improving the efficiency of inductive logic programming systems

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, 2009 .

Coupling OPTYAP with a database system

Ricardo Rocha, Michel Ferreira, 2005, IADIS AC.

Table space designs for implicit and explicit concurrent tabled evaluation

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2018, Theory and Practice of Logic Programming.

On a Tabling Engine That Can Exploit Or-Parallelism

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 2001, ICLP.

The MyYapDB Deductive Database System

Ricardo Rocha, Michel Ferreira, 2004, JELIA.

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

Ricardo Rocha, Ricardo Gonçalves, Miguel Areias, 2017, Inf..

YapTab: A Tabling Engine Designed to Support Parallelism

Ricardo Rocha, Vítor Santos Costa, Fernando Silva, 2000 .

Compile the Hypothesis Space: Do it Once, Use it Often

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, 2008, Fundam. Informaticae.

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog

Ricardo Rocha, Ricardo Lopes, Cláudio Silva, 2007, ICLP.

On the Efficient Execution of ProbLog Programs

Luc De Raedt, Bart Demoen, Ricardo Rocha, 2008, ICLP.

Mode-Directed Tabling and Applications in the YapTab System

Ricardo Rocha, João Santos, 2012, SLATE.

On scaling dynamic programming problems with a multithreaded tabling Prolog system

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2017, J. Syst. Softw..

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores pdf

Ricardo Rocha, Fernando M. A. Silva, Rui Vieira, 2013, ArXiv.

Thread-Based Competitive Or-Parallelism

Ricardo Rocha, Sara C. Madeira, Paulo Moura, 2008, ICLP.

Towards an Automated Test Bench Environment for Prolog Systems

Ricardo Rocha, Ricardo Gonçalves, Miguel Areias, 2017, SLATE.

On Applying Tabling to Inductive Logic Programming

Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa, 2005, ECML.

ILP : - Just Trie It

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, 2007, ILP.

High Level Thread-Based Competitive Or-Parallelism in Logtalk

Ricardo Rocha, Sara C. Madeira, Paulo Moura, 2009, PADL.

An External Module for Implementing Linear Tabling in Prolog

Ricardo Rocha, Ricardo Lopes, Cláudio Silva, 2006, ICLP.

A Term-Based Global Trie for Tabled Logic Programs

Ricardo Rocha, Jorge Costa, João Raimundo, 2009, ICLP.

Global Trie for Subterms pdf

Ricardo Rocha, João Raimundo, 2011, ArXiv.

YapOr: an Or-Parallel Prolog System Based on Environment Copying

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 1999, EPIA.

Global Storing Mechanisms for Tabled Evaluation

Ricardo Rocha, Jorge Costa, 2008, ICLP.

ILP: Compute Once, Reuse Often

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, 2007 .

Or-parallel prolog execution on multicores based on stack splitting

Ricardo Rocha, Fernando M. A. Silva, Rui Vieira, 2012, DAMP '12.

Threads and or-parallelism unified

Ricardo Rocha, Vítor Santos Costa, Inês de Castro Dutra, 2010, Theory Pract. Log. Program..

An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs

Ricardo Rocha, Miguel Areias, 2012, 2012 IEEE 18th International Conference on Parallel and Distributed Systems.

Efficient Support for Mode-Directed Tabling in the YapTab Tabling System pdf

Ricardo Rocha, João Santos, 2013, ArXiv.

Novel Models for Or-Parallel Logic Programs: A Performance Analysis

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 2000, Euro-Par.

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Ricardo Rocha, Miguel Areias, 2010, PADL.

Experiment Dashboard for Monitoring of the LHC Distributed Computing Systems

L Sargsyan, J Andreeva, Ricardo Rocha, 2011 .

Speculative Computations in Or-Parallel Tabled Logic Programs

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa, 2004, ICLP.

On combining linear-based strategies for tabled evaluation of logic programs pdf

Ricardo Rocha, Miguel Areias, 2011, Theory Pract. Log. Program..

An Improved Continuation Call-Based Implementation of Tabling

Manuel V. Hermenegildo, Manuel Carro, Ricardo Rocha, 2008, PADL.

Generic Cut Actions for External Prolog Predicates

Ricardo Rocha, Michel Ferreira, Tiago Soares, 2006, PADL.

Batched Evaluation of Full-Sharing Multithreaded Tabling

Ricardo Rocha, Miguel Areias, 2015, SLATE.

Towards multi-threaded local tabling using a common table space

Ricardo Rocha, Miguel Areias, 2012, Theory Pract. Log. Program..

FullExpression Using Transfer Learning in the Classification of Human Emotions

Ricardo Rocha, Isabel Praça, 2020, ISAmI.

Dashboard applications to monitor experiment activities at sites

J Andreeva, Ricardo Rocha, Pablo Saiz, 2010 .

On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2018, 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom).

One Table Fits All

Ricardo Rocha, Jorge Costa, Ricardo Rocha, 2009, PADL.

Improving the efficiency of inductive logic programming systems

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, 2009, Softw. Pract. Exp..

Prolog programming with a map-reduce parallel construct

Ricardo Rocha, Inês de Castro Dutra, Joana Côrte-Real, 2013, PPDP.

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Seth Copen Goldstein, Frank Pfenning, Ricardo Rocha, 2014, Theory and Practice of Logic Programming.

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Ricardo Rocha, Flávio Cruz, 2010, JELIA.

SkILL - A Stochastic Inductive Logic Learner

Ricardo Rocha, Elizabeth S. Burnside, Joana Côrte-Real, 2015, 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA).