| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Umut A. Acar, Vítor Santos Costa (eds.) |
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012  |
DAMP  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos Adriano Gonçalves, Carlos J. V. Simões, Rui M. M. Brito |
A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies. |
J. Integrative Bioinformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa, Luís Damas, Ricardo Rocha |
The YAP Prolog System |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Salvador Abreu, Vítor Santos Costa |
Online Proceedings of the 11th |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
A Design and Implementation of the Extended Andorra Model |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa |
Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the implementation of the probabilistic logic programming language ProbLog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago A. O. Alves, Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa |
Trebuchet: exploring TLP with dataflow virtualisation. |
IJHPSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abreu Ferreira, João Gama, Vítor Santos Costa |
Constrained Sequential Pattern Knowledge in Multi-relational Learning. |
EPIA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker, Vítor Santos Costa |
On the Portability of Prolog Applications. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito |
Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design. |
PACBB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abreu Ferreira, João Gama, Vítor Santos Costa |
Sequential Pattern Knowledge in Multi-Relational Learning. |
ISCIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker, Vítor Santos Costa |
Portability of Prolog programs: theory and case-studies |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the Implementation of the Probabilistic Logic Programming Language ProbLog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha |
Threads and Or-Parallelism Unified |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha |
Threads and or-parallelism unified. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa |
On the Implementation of the CLP(BN\mathcal BN) Language. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães |
Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms. |
IWPACBB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Vaz, Vítor Santos Costa, Michel Ferreira |
Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. |
ILP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Max Pereira, Vítor Santos Costa, Rui Camacho |
Interactive Discriminative Mining of Chemical Fragments. |
ILP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva |
Improving the efficiency of inductive logic programming systems. |
Softw., Pract. Exper. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa |
On Just in Time Indexing of Dynamic Predicates in Prolog. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Vaz, Vítor Santos Costa, Michel Ferreira |
User Defined Indexing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abreu Ferreira, João Gama, Vítor Santos Costa |
Sequential Pattern Mining in Multi-relational Datasets. |
CAEPIA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito |
Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases. |
BSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Muggleton, Aline Paes, Vítor Santos Costa, Gerson Zaverucha |
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. |
ILP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina Vieira, Jorge Vieira |
Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
Clustering, Inductive Logic Programming |
| 1 | Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca |
Visually Guiding and Controlling the Search While Mining Chemical Structures. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
Inductive Logic Programming, drug design |
| 1 | João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil (eds.) |
Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 |
Discovery Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa |
Compile the Hypothesis Space: Do it Once, Use it Often. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
On the Efficient Execution of ProbLog Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa |
The Life of a Logic Programming System. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho |
k-RNN: k-relational nearest neighbour algorithm. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
k-NN algorithm, mode directed inverse entailment, classification |
| 1 | Vítor Santos Costa, Nuno A. Fonseca, Rui Camacho |
LogCHEM: Interactive Discriminative Mining of Chemical Structure. |
BIBM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro A. J. Marzulo, Felipe Maia Galvão França, Vítor Santos Costa |
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. |
SBAC-PAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Abreu Ferreira, João Gama, Vítor Santos Costa |
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa, David Page, James Cussens |
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha |
Improving model construction of profile HMMs for remote homology detection through structural alignment. |
BMC Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa |
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha |
A study of structural properties on profiles HMMs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa |
Prolog Performance on Larger Datasets. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa |
Change of Representation for Statistical Relational Learning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes |
Demand-Driven Indexing of Prolog Clauses. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Vítor Santos Costa |
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Davis, Vítor Santos Costa, Soumya Ray, David Page |
An integrated approach to feature invention and model construction for drug activity prediction. |
ICML |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa |
ILP : - Just Trie It. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
Mode Directed Inverse Entailment, Data Structures, Efficiency |
| 1 | Aline Paes, Gerson Zaverucha, Vítor Santos Costa |
Revising First-Order Logic Theories from Examples Through Stochastic Local Search. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Vítor Santos Costa |
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Vítor Santos Costa |
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa |
PFORTE: Revising Probabilistic FOL Theories. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Vítor Santos Costa |
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene M. Ong, Scott E. Topper, C. David Page Jr., Vítor Santos Costa |
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Vítor Santos Costa |
An Experimental Evaluation of JAVA JIT Technology. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On Applying Or-Parallelism and Tabling to Logic Programs. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa |
Improving Memory Usage in the BEAM. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, MemoryManagement, Logic Programming, Language Implementation |
| 1 | Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik |
View Learning for Statistical Relational Learning: With an Application to Mammography. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | J. A. L. Sanches, Patrícia Kayser Vargas, Inês de Castro Dutra, Vítor Santos Costa, Cláudio F. R. Geyer |
ReGS: user-level reliability in a grid environment. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa |
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa |
Mode Directed Path Finding. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Vítor Santos Costa |
An Integrated Approach to Learning Bayesian Networks of Rules. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa |
On Applying Tabling to Inductive Logic Programming. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho |
A pipelined data-parallel algorithm for ILP. |
CLUSTER |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa |
Probabilistic First-Order Theory Revision from Examples. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa |
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Concurrent Table Accesses in Parallel Tabled Logic Programs. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
Pruning in the Extended Andorra Model. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, Logic Programming, Pruning, Language Implementation |
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Speculative Computations in Or-Parallel Tabled Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
Exploiting parallelism in the extended andorra model. |
Parallel and Distributed Computing and Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho |
On Avoiding Redundancy in Inductive Logic Programming. |
ILP |
2004 |
DBLP DOI BibTeX RDF |
Expert-Assistance, Redundancy |
| 1 | Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer |
Query Transformations for Improving the Efficiency of ILP Systems. |
Journal of Machine Learning Research |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On Applying Or-Parallelism and Tabling to Logic Programs |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik, Michael Waddell |
Toward Automatic Management of Embarrassingly Parallel Applications. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
On the BEAM Implementation. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho |
Experimental Evaluation of a Caching Technique for ILP. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa |
Performance Issues in Prolog Applications. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
On Deterministic Computations in the Extended Andorra Model. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, Logic Programming, Language Implementation |
| 1 | Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens |
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. |
UAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Lobosco, Vítor Santos Costa, Claudio Luis de Amorim |
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. |
International Conference on Computational Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Achieving Scalability in Parallel Tabled Logic Programs. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
Tabling, Parallel Logic Programming |
| 1 | Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa |
From simulation to practice: cache performance study of a Prolog system. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Trevisan, Vítor Santos Costa, Lauro Whately, Claudio Luis de Amorim |
Distributed Shared Memory in Kernel Mode. |
SBAC-PAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik |
An Empirical Evaluation of Bagging in Inductive Logic Programming. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
A Novel Implementation of the Extended Andorra Model. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Fernando Castro, Vítor Santos Costa |
Understanding Memory Management in Prolog Systems. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
On a Tabling Engine That Can Exploit Or-Parallelism. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
Tabling, Or-Parallelism, Parallel Logic Programming |
| 1 | Enrico Pontelli, Vítor Santos Costa |
PADL '00: Workshop on Practical Aspects of Declarative Languages. |
SIGPLAN Notices |
2000 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra |
Parallel Logic Programming Systems on Scalable Architectures. |
J. Parallel Distrib. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva |
Novel Models for Or-Parallel Logic Programs: A Performance Analysis. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Vítor Santos Costa (eds.) |
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings |
PADL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho |
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System. |
ILP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini |
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
dsm architectures, performance evaluation, parallelism, logic programming, cache coherence protocols |
| 1 | Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Eduardo Correia, Vítor Santos Costa |
IAP for dummies: The YAP Design. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kish Shen, Vítor Santos Costa, Andy King |
Distance: A New Metric for Controlling Granularity for Parallel Execution. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia |
DAOS - Scalable And-Or Parallelism. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
And/Or Model, Scheduling, Distributed Shared Memory, Parallel Logic Programming |
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
YapOr: an Or-Parallel Prolog System Based on Environment Copying. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa |
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
Or-Parallelism within Tabling. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
Tabling, Or-Parallelism, Parallel Logic Programming |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")