12 citations · 21 across the 11 of their papers we have counts for
11 papers
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
Pedro Moreno, Ricardo Rocha
Lock-free data structures are an important tool for the development of concurrent programs as they provide scalability, low latency and avoid deadlocks, livelocks and priority inve…
Accelerating GAN training using highly parallel hardware on public cloud
Renato Cardoso, Dejan Golubovic, Ignacio Peluaga Lozada +3
With the increasing number of Machine and Deep Learning applications in High Energy Physics, easy access to dedicated infrastructure represents a requirement for fast and efficient…
Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta +3
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since i…
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation
Miguel Areias, Ricardo Rocha
One of the main advantages of Prolog is its potential for the implicit exploitation of parallelism and, as a high-level language, Prolog is also often used as a means to explicitly…
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein +1
We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an…
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias, Ricardo Rocha
A critical component in the implementation of a concurrent tabling system is the design of the table space. One of the most successful proposals for representing tables is based on…
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Ricardo Rocha, Christian Theil Have
This volume contains the proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), held in Istanbul, Turkey dur…
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
Rui Vieira, Ricardo Rocha, Fernando Silva
Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory…
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
João Santos, Ricardo Rocha
Mode-directed tabling is an extension to the tabling technique that supports the definition of mode operators for specifying how answers are inserted into the table space. In this…
Global Trie for Subterms
João Raimundo, Ricardo Rocha
A critical component in the implementation of an efficient tabling system is the design of the table space. The most popular and successful data structure for representing tables i…
Single Time-Stamped Tries for Retroactive Call Subsumption
Flavio Cruz, Ricardo Rocha
Tabling is an evaluation strategy for Prolog programs that works by storing answers in a table space and then by using them in similar subgoals. Some tabling engines use call by su…