Searching for authors named "Ricardo Rocha" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
The MYDDAS Programmer’s Manual
- …The MYDDAS Programmer’s Manual Tiago Soares, Michel Ferreira, Ricardo Rocha Technical Report…
- Cited by 1 (1 self) – Add To MetaCart
-
A Tabling Engine for the Yap Prolog System
- …A Tabling Engine for the Yap Prolog System Ricardo Rocha Fernando Silva Vtor Santos Costa Abstract…
- Add To MetaCart
-
On Applying Or-Parallelism to Tabled Evaluations
- … Evaluations Ricardo Rocha Fernando Silva V'itor Santos Costa fricroc,fds,vscg@(email omitted); Departamento de…
- Cited by 6 (3 self) – Add To MetaCart
-
YapTab: A Tabling Engine Designed to Support Parallelism
- …YapTab: A Tabling Engine Designed to Support Parallelism Ricardo Rocha Fernando Silva Vtor Santos…
- Cited by 7 (2 self) – Add To MetaCart
-
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
- …Novel Models for Or-Parallel Logic Programs: A Performance Analysis Vtor Santos Costa 1 Ricardo…
- Cited by 1 (1 self) – Add To MetaCart
-
Flexible Simulation of Distributed Protocols for Mobile Computing
- …Flexible Simulation of Distributed Protocols for Mobile Computing Ricardo C. A. da Rocha Markus…
- Cited by 1 (1 self) – Add To MetaCart
-
YapOr: an Or-Parallel Prolog System based on Environment Copying
- …YapOr: an Or-Parallel Prolog System based on Environment Copying Ricardo Rocha Fernando Silva V…
- Cited by 10 (6 self) – Add To MetaCart
-
Or-Parallelism within Tabling
- …Or-Parallelism within Tabling Ricardo Rocha Fernando Silva V'itor Santos Costa ? DCC-FC & LIACC…
- Cited by 6 (5 self) – Add To MetaCart
-
Three Amigos: A Tale of Three Execution Models for Or-Parallelism
- …Three Amigos: A Tale of Three Execution Models for Or-Parallelism Vtor Santos Costa Ricardo Rocha…
- Add To MetaCart
-
Construction of Models based on Adaptive Automata through Grammar Descriptions
- …&RQVWUXFWLRQ RI PRGHOV EDVHG RQ DGDSWLYH DXWRPDWD WKURXJK JUDPPDU GHVFULSWLRQV Ricardo Luis de…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
