The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Ricardo Rocha 0001 Ricardo Jorge Gomes Lopes da Rocha ( http://dblp.L3S.de/Authors/Ricardo_Rocha_0001 )

Publication years (Num. hits)
1999-2005 (16) 2006-2009 (18) 2010-2011 (17) 2012-2013 (16) 2014-2015 (15) 2016-2018 (18) 2019 (2)
Publication types (Num. hits)
article(38) inproceedings(60) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 11 keywords

Results
Found 103 publication records. Showing 102 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miguel Areias, Ricardo Rocha 0001 Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ricardo Leite, Ricardo Rocha 0001 A lock-free coalescing-capable mechanism for memory management. Search on Bibsonomy ISMM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table space designs for implicit and explicit concurrent tabled evaluation. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. Search on Bibsonomy ISPA/IUCC/BDCloud/SocialCom/SustainCom The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ricardo Leite, Ricardo Rocha 0001 LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator. Search on Bibsonomy VECPAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha 0001 Improving Candidate Quality of Probabilistic Logic Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Tran Cao Son, Christopher Mears, Neda Saeedloei (eds.) Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  BibTeX  RDF
1Miguel Joao Goncalves Areias, Ricardo Jorge Gomes Lopes da Rocha Towards a Lock-Free, Fixed Size and Persistent Hash Map Design. Search on Bibsonomy SBAC-PAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On scaling dynamic programming problems with a multithreaded tabling Prolog system. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Tran Cao Son Introduction to the 33rd international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves, Miguel Areias, Ricardo Rocha 0001 On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Search on Bibsonomy Information The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves, Miguel Areias, Ricardo Rocha 0001 Towards an Automated Test Bench Environment for Prolog Systems. Search on Bibsonomy SLATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Inês Dutra, Ricardo Rocha 0001 On Applying Probabilistic Logic Programming to Breast Cancer Data. Search on Bibsonomy ILP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001 Using Iterative Deepening for Probabilistic Logic Inference. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Inês Dutra, Ricardo Rocha 0001 Estimation-Based Search Space Traversal in PILP Environments. Search on Bibsonomy ILP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Declarative coordination of graph-based parallel programs. Search on Bibsonomy PPOPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha 0001 SkILL - a Stochastic Inductive Logic Learner. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Batched Evaluation of Full-Sharing Multithreaded Tabling. Search on Bibsonomy SLATE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha 0001, Elizabeth S. Burnside SkILL - A Stochastic Inductive Logic Learner. Search on Bibsonomy ICMLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Thread-Aware Logic Programming for Data-Driven Parallel Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 A team-based scheduling model for interfacing or-parallel prolog engines. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein, Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein, Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha 0001 A hybrid mapreduce model for prolog. Search on Bibsonomy ISIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Ricardo Rocha 0001 (eds.) Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers Search on Bibsonomy KDPD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Batched evaluation of linear tabled logic programs. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rui Vieira, Ricardo Rocha 0001, Fernando M. A. Silva On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 Efficient Support for Mode-Directed Tabling in the YapTab Tabling System Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ricardo Rocha 0001, Christian Theil Have Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1José Paulo Leal, Ricardo Rocha 0001, Alberto Simões (eds.) 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal Search on Bibsonomy SLATE The full citation details ... 2013 DBLP  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 Or-Parallel Prolog Execution on Clusters of Multicores. Search on Bibsonomy SLATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha 0001 Prolog programming with a map-reduce parallel construct. Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 On the Efficient Implementation of Mode-Directed Tabling. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Towards Multi-Threaded Local Tabling Using a Common Table Space Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Towards multi-threaded local tabling using a common table space. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vítor Santos Costa, Ricardo Rocha 0001, Luís Damas The YAP Prolog system. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Extending a Linear Tabling Framework to Support Batched Scheduling. Search on Bibsonomy SLATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 Mode-Directed Tabling and Applications in the YapTab System. Search on Bibsonomy SLATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rui Vieira, Ricardo Rocha 0001, Fernando M. A. Silva Or-parallel prolog execution on multicores based on stack splitting. Search on Bibsonomy DAMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. Search on Bibsonomy ICPADS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inês de Castro Dutra, Ricardo Rocha 0001, Vítor Santos Costa, Fernando M. A. Silva, João Santos 0004 Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. Search on Bibsonomy IPDPS Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Single Time-Stamped Tries for Retroactive Call Subsumption Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Vítor Santos Costa, Luís Damas, Ricardo Rocha 0001 The YAP Prolog System Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1João Raimundo, Ricardo Rocha 0001 Global Trie for Subterms Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha 0001 On the implementation of the probabilistic logic programming language ProbLog. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On combining linear-based strategies for tabled evaluation of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, John Launchbury (eds.) Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1João Raimundo, Ricardo Rocha 0001 A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha 0001 Threads and Or-Parallelism Unified Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha 0001 On the Implementation of the Probabilistic Logic Programming Language ProbLog Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha 0001 Threads and or-parallelism unified. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1João Raimundo, Ricardo Rocha 0001 Compact Lists for Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha 0001, Rui Camacho, Fernando M. A. Silva Improving the efficiency of inductive logic programming systems. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jorge Costa, João Raimundo, Ricardo Rocha 0001 A Term-Based Global Trie for Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Table Space, Implementation, Tabling Logic Programming
1Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira High Level Thread-Based Competitive Or-Parallelism in Logtalk. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF speculative threading, implementation, Or-parallelism
1Jorge Costa, Ricardo Rocha 0001 One Table Fits All. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Table Space, Implementation, Tabling Logic Programming
1Miguel Areias, Ricardo Rocha 0001 On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deterministic Calls and Answers, Implementation, Tabling
1Nuno A. Fonseca, Rui Camacho, Ricardo Rocha 0001, Vítor Santos Costa Compile the Hypothesis Space: Do it Once, Use it Often. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira Thread-Based Competitive Or-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jorge Costa, Ricardo Rocha 0001 Global Storing Mechanisms for Tabled Evaluation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha 0001, Bart Demoen, Luc De Raedt On the Efficient Execution of ProbLog Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 An Improved Continuation Call-Based Implementation of Tabling. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Performance, Program transformation, Implementation, Tabled logic programming
1Pedro Costa 0004, Ricardo Rocha 0001, Michel Ferreira Relational Models for Tabling Logic Programs in a Database. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rui Camacho, Nuno A. Fonseca, Ricardo Rocha 0001, Vítor Santos Costa ILP : - Just Trie It. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mode Directed Inverse Entailment, Data Structures, Efficiency
1Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001 On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha 0001, Tiago Soares Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Performance, Implementation, Deductive Databases
1Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes An External Module for Implementing Linear Tabling in Prolog. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001 Handling Incomplete and Complete Tables in Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tiago Soares, Ricardo Rocha 0001, Michel Ferreira Generic Cut Actions for External Prolog Predicates. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prolog Systems Implementation, External Modules, Pruning
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa On Applying Or-Parallelism and Tabling to Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michel Ferreira, Ricardo Rocha 0001 Coupling OPTYAP with a database system. Search on Bibsonomy IADIS AC The full citation details ... 2005 DBLP  BibTeX  RDF
1Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa On Applying Tabling to Inductive Logic Programming. Search on Bibsonomy ECML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michel Ferreira, Ricardo Rocha 0001 The MyYapDB Deductive Database System. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Concurrent Table Accesses in Parallel Tabled Logic Programs. Search on Bibsonomy Euro-Par The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Speculative Computations in Or-Parallel Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa On Applying Or-Parallelism and Tabling to Logic Programs Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Nuno A. Fonseca, Ricardo Rocha 0001, Rui Camacho, Fernando M. A. Silva Efficient Data Structures for Inductive Logic Programming. Search on Bibsonomy ILP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Fernando M. A. Silva, Rolando Martins YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. Search on Bibsonomy EPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Stack Splitting, Or-Parallelism, Parallel Logic Programming
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Achieving Scalability in Parallel Tabled Logic Programs. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Tabling, Parallel Logic Programming
1Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa On a Tabling Engine That Can Exploit Or-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Tabling, Or-Parallelism, Parallel Logic Programming
1Vítor Santos Costa, Ricardo Rocha 0001, Fernando M. A. Silva Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 102 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license