|
/
Browsing by Author Abreu, Salvador
Showing results 57 to 76 of 76
Issue Date | Title | Author(s) | 11-Feb-2022 | Performance evaluation of smart contracts | Oliveira, Raul Alexandre Vaz |
2022 | Quantum and Digital Annealing for the Quadratic Assignment Problem | Codognet, Philippe; Diaz, Daniel; Abreu, Salvador |
2015 | Solving Constraint Satisfaction Problems in GPUs | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
16-Feb-2015 | Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization | Munera, Danny; Diaz, Daniel; Abreu, Salvador; Rossi, Francesca; Saraswat, Vijay; Codognet, Philippe |
Oct-2011 | Targeting the Cell Broadband Engine for constraint-based local search | Diaz, Daniel; Abreu, Salvador; Codognet, Philippe |
2012 | Targeting the Cell Broadband Engine for constraint-based local search | Diaz, Daniel; Abreu, Salvador; Codognet, Philippe |
2007 | Temporal Annotations for a Contextual Logic Programming Language} | Nogueira, Vitor; Abreu, Salvador |
2007 | Temporal Contextual Logic Programming | Nogueira, Vitor; Abreu, Salvador |
Sep-2011 | The Final Frontier: Confidentiality and Privacy in the Cloud | Rocha, Francisco; Abreu, Salvador; Correia, Miguel |
Mar-2013 | The Next Frontier: Managing Confidentiality and Integrity of Data in the Cloud | Rocha, Francisco; Abreu, Salvador; Correia, Miguel |
2016 | Towards a Multi-device Constraints Solver | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Jul-2014 | Towards a Parallel Hierarchical Adaptive Solver Tool | Abreu, Salvador; Munera, Danny; Diaz, Daniel |
2011 | Unbalanced tree search on a manycore system using the GPI programming model | Machado, Rui; Lojewski, Carsten; Abreu, Salvador; Pfreundt, Franz-Josef |
Sep-2014 | Using a dialogue manager to improve search in the semantic web | Melo, Dora; Rodrigues, Irene Pimenta; Nogueira, Vitor Beires |
2011 | Using Constraints for Intrusion Detection: The NeMODe System | Salgueiro, Pedro; Diaz, Daniel; Sofia, Isabel; Abreu, Salvador |
Jan-2011 | Using Constraints for Intrusion Detection: The NeMODe System | Salgueiro, Pedro; Diaz, Daniel; Brito, Isabel; Abreu, Salvador |
2009 | Visual programming in a heterogeneous multi-core environment | Guerreiro, Pedro Miguel Rito |
Sep-2018 | Weaving of Metaheuristics with Cooperative Parallelism | Lopez, Jheisson; Munera, Danny; Diaz, Daniel; Abreu, Salvador |
2018 | Weaving of Metaheuristics with Cooperative Parallelism | Lopez, Jheisson; Munera, Danny; Diaz, Daniel; Abreu, Salvador |
Oct-2007 | X.P.T.O. : a system for representing and querying semantic web antologies | Fernandes, Cláudio Francisco |
Showing results 57 to 76 of 76
|