Salvador Abreu
Salvador Abreu
Professor of Computer Science, University of …vora
Verified email at uevora.pt - Homepage
Title
Cited by
Cited by
Year
On the Implementation of GNU Prolog
D Diaz, S Abreu, P Codognet
Theory and Practice of Logic Programming, 2010
493*2010
The final frontier: Confidentiality and privacy in the cloud
F Rocha, S Abreu, M Correia
Computer 44 (9), 44-50, 2011
662011
Objective: In minimum context
S Abreu, D Diaz
International Conference in Logic Programming (ICLP), 128-147, 2003
342003
Isco: A practical language for heterogeneous information system construction
S Abreu
Proceedings of INAP 2001 1, 2001
342001
Experiments in parallel constraint-based local search
Y Caniou, P Codognet, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization, 96-107, 2011
322011
Large-scale parallelism for constraint-based local search: the costas array case study
Y Caniou, P Codognet, F Richoux, D Diaz, S Abreu
Constraints 20 (1), 30-56, 2015
242015
Solving hard stable matching problems via local search and cooperative parallelization
D Munera, D Diaz, S Abreu, F Rossi, V Saraswat, P Codognet
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
232015
A logic-based information system
SP Abreu
Lecture Notes in Computer Science, 141-153, 2000
212000
A parametric framework for cooperative parallel local search
D Munera, D Diaz, S Abreu, P Codognet
European Conference on Evolutionary Computation in Combinatorial†…, 2014
202014
Parallel constraint-based local search on the cell/BE multicore architecture
D Diaz, S Abreu, P Codognet
Intelligent Distributed Computing IV, 265-274, 2010
192010
Targeting the Cell Broadband Engine for constraint‐based local search
D Diaz, S Abreu, P Codognet
Concurrency and Computation: Practice and Experience, 2011
182011
Constraint-based local search for the costas array problem
D Diaz, F Richoux, P Codognet, Y Caniou, S Abreu
International Conference on Learning and Intelligent Optimization, 378-383, 2012
162012
Unbalanced tree search on a manycore system using the GPI programming model
R Machado, C Lojewski, S Abreu, FJ Pfreundt
Computer Science-Research and Development, 1-8, 2011
162011
Parallel local search for the costas array problem
D Diaz, F Richoux, Y Caniou, P Codognet, S Abreu
2012 IEEE 26th International Parallel and Distributed Processing Symposium†…, 2012
142012
Using a logic programming language with persistence and contexts
S Abreu, V Nogueira
Declarative Programming for Knowledge Management, 38-47, 2006
142006
Performance analysis of parallel constraint-based local search
Y Caniou, D Diaz, F Richoux, P Codognet, S Abreu
ACM SIGPLAN Notices 47 (8), 337-338, 2012
122012
Solving the quadratic assignment problem with cooperative parallel extremal optimization
D Munera, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization, 251-266, 2016
112016
Parallel Local Search: Experiments with a PGAS-based programming model
R Machado, S Abreu, D Diaz
arXiv preprint arXiv:1301.7699, 2013
112013
Temporal contextual logic programming
V Nogueira, S Abreu
Electronic Notes in Theoretical Computer Science 177, 219-233, 2007
112007
Relational Information Retrieval through natural language analysis
L Quintano, S Abreu, I Rodrigues
Proceedings of the Applications of prolog 14th international conference on†…, 2001
112001
The system can't perform the operation now. Try again later.
Articles 1–20