| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Diaz, Salvador Abreu, Philippe Codognet |
Targeting the Cell Broadband Engine for constraint-based local search.  |
Concurrency and Computation: Practice and Experience  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu |
Performance analysis of parallel constraint-based local search. |
PPOPP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Doctor, Angel Moreno, Pablo Muñoz, Daniel Díaz, María Dolores Rodríguez-Moreno |
Intelligent social networks. |
WIMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |
Using Constraints for Intrusion Detection: The NeMODe System. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu |
Experiments in Parallel Constraint-Based Local Search. |
EvoCOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels |
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. |
ENASE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu |
Parallel constraint-based local search on the HA8000 supercomputer (abstract). |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed |
Conformance Checking with Constraint Logic Programming: The Case of Feature Models. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Díaz, María Dolores Rodríguez-Moreno, Amedeo Cesta, Angelo Oddi, Riccardo Rasconi |
Scheduling a Single Robot in a Job-Shop Environment through Precedence Constraint Posting. |
IEA/AIE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels |
Constraints: The core of product line engineering. |
RCIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz |
Using constraint programming to verify DOPLER variability models. |
VaMoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Diaz, Salvador Abreu, Philippe Codognet |
On the Implementation of GNU Prolog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Camille Salinesi, Raúl Mazo, Daniel Diaz |
Criteria for the verification of feature models. |
INFORSID |
2010 |
DBLP BibTeX RDF |
|
| 1 | Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi |
Using Integer Constraint Solving in Reuse Based Requirements Engineering. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Diaz, Salvador Abreu, Philippe Codognet |
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. |
IDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Abreu, Daniel Diaz, Philippe Codognet |
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland |
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. |
RE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo |
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. |
RE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Rodríguez, Xoán C. Pardo, María J. Martín, Patricia González, Daniel Díaz |
A Fault Tolerance Solution for Sequential and MPI Applications on the Grid. |
Scalable Computing: Practice and Experience |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel Díaz, Xoán C. Pardo, María J. Martín, Patricia González |
Application-Level Fault-Tolerance Solutions for Grid Computing. |
CCGRID |
2008 |
DBLP DOI BibTeX RDF |
CPPC, fault tolerance, grid computation, parallel computation, checkpointing, Globus |
| 1 | Daniel Díaz, Xoán C. Pardo, María J. Martín, Patricia González, Gabriel Rodríguez |
CPPC-G: Fault-Tolerant Applications on the Grid. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Grid Computing, MPI, Checkpointing, Globus |
| 1 | Olfa Djebbi, Camille Salinesi, Daniel Diaz |
Deriving Product Line Requirements: the RED-PL Guidance Approach. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Abreu, Daniel Diaz |
Contexts for Organizational Information System Design and Implementation. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carlos Calderon, Marc Cavazza, Daniel Diaz |
A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. |
Smart Graphics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel |
Code-Based Test Generation for Validation of Functional Processor Descriptions. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
Code-based test generation, functional hardware verification, constraint solving techniques |
| 1 | Salvador Abreu, Daniel Diaz |
Objective: In Minimum Context. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Calderon, Marc Cavazza, Daniel Diaz |
A new approach to virtual design for spatial configuration problems. |
IV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Calderon, Marc Cavazza, Daniel Diaz |
Interactive problem solving in an intelligent virtual environment. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
virtual reality, constraint programming, intelligent interfaces |
| 1 | Daniel Diaz, Philippe Codognet |
Design and Implementation of the GNU Prolog System. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
Yet Another Local Search Method for Constraint Solving. |
SAGA |
2001 |
DBLP DOI BibTeX RDF |
combinatorial optimization, Local search, constraint solving, search algorithms |
| 1 | Daniel Diaz, Philippe Codognet |
GNU Prolog: Beyond Compiling Prolog to C. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Diaz, Philippe Codognet |
The GNU Prolog System and its Implementation. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
Compiling Constraints in clp(FD). |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
A Simple and Efficient Boolean Solver for Constraint Logic Programming. |
J. Autom. Reasoning |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz, Francesca Rossi |
Constraint Reaction in FD. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
The clp(FD) system. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
WAMCC: Compiling Prolog to C. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Björn Carlson, Mats Carlsson, Daniel Diaz |
Entailment of Finite Domain Constraints. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Diaz, Philippe Codognet |
A Minimal Extension of the WAM for clp(FD). |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz |
Boolean Constraint Solving Using clp(FD). |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")