2 Docteurs 2005 - 2008

Publications 2000-2018

• 2018
  • Ph. Codognet, D. Munera, D. Diaz, S. Abreu : “Parallel Local Search”, chapter in Handbook of Parallel Constraint Reasoning, pp. 381-417, (Springer International Publishing), (ISBN: 978-3-319-63515-6) (2018)
• 2017
  • Ph. Codognet : “Les données dans l’art”, chapitre de Les Big Data à découvert (2017)
• 2012
  • Y. Caniou, D. Diaz, F. Richoux, Ph. Codognet, S. Abreu : “Performance analysis of parallel constraint-based local search”, Principles and Practice of Parallel Programming, New Orleans, United States, pp. 337-338, (ACM) (2012)
  • D. Diaz, F. Richoux, Ph. Codognet, Y. Caniou, S. Abreu : “Constraint-Based Local Search for the Costas Array Problem”, Learning and Intelligent OptimizatioN Conference (LION 6), Paris, France (2012)
  • D. Diaz, F. Richoux, Y. Caniou, Ph. Codognet, S. Abreu : “Parallel local search for the Costas Array Problem”, Parallel Computing and Optimization, Shanghai, China (2012)
  • D. Diaz, S. Abreu, Ph. Codognet : “On the implementation of GNU Prolog”, Theory and Practice of Logic Programming, vol. 12 (1-2), pp. 253-282, (Cambridge University Press (CUP)) (2012)
  • D. Diaz, S. Abreu, Ph. Codognet : “Targeting the Cell Broadband Engine for constraint-based local search”, Concurrency and Computation: Practice and Experience, pp. 13 pages, (Wiley) (2012)
• 2011
  • Y. Caniou, Ph. Codognet : “Communication in Parallel Algorithms for Constraint-Based Local Search”, PCO - IEEE Workshop on new trends in Parallel Computing and Optimization in conjonction with IPDPS, Anchorage, United States (2011)
  • Y. Caniou, Ph. Codognet, D. Diaz, S. Abreu : “Experiments in Parallel Constraint-Based Local Search”, Evolutionary Computation in Combinatorial Optimization, vol. 6622, Lecture Notes in Computer Science, Torino, Italy, pp. 96-107, (Springer) (2011)
• 2010
  • D. Diaz, S. Abreu, Ph. Codognet : “Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture”, IDC 2010 - 4^th International Symposium on Intelligent Distributed Computing, vol. 315, Studies in Computational Intelligence, Tangier, Morocco, pp. 265-274 (2010)
  • R. Nakatsu, N. Tosa, F. Naghdy, K. Wong, Ph. Codognet : “Cultural Computing: Second IFIP TC 14, Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings”, vol. AICT-333, IFIP Advances in Information and Communication Technology, (Springer), (ISBN: 978-3-642-15213-9) (2010)
• 2009
  • S. Abreu, Ph. Codognet, D. Diaz : “Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)”, International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS) in conjunction with Principles and Practice of Constraint Programming, vol. 5, Lisbon, Portugal, pp. 97-111, (EPTCS) (2009)
• 2006
  • F. Benhamou, M. Ceberio, Ph. Codognet, H. Hosobe, Ch. Jermann, K. Satoh, K. Ueda : “Franco-Japanese Research Collaboration on Constraint Programming”, Progress in Informatics, vol. 3, pp. 59-65, (National Institute of Informatics) (2006)
• 2004
  • V. Labbé, O. Sigaud, Ph. Codognet : “Anticipation of Periodic Movements in Real Time 3D Environments”, ABiALS 2004 - 2^nd Workshop of Anticipatory Behavior in Adaptive Learning Systems, Los Angeles, CA, United States, pp. 51-61 (2004)
• 2003
  • F. Baray, Ph. Codognet, D. Diaz, H. Michel : “Code-based Test Generation for Validation of Functional Processor Descriptions”, 9^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, vol. 2619, Lecture Notes in Computer Science, Warsaw, Poland, pp. 569-584 (2003)
  • Ph. Codognet, D. Diaz : “An Efficient Library for Solving CSP with Local Search”, International Conference on Metaheuristics, Kyoto, Japan (2003)
  • F. Baray, Ph. Codognet, D. Diaz, H. Michel : “Validation of Functional Processor Descriptions by Test Generation”, International Conference on Using Hardware Design and Verification Languages, vol. 2619, San Jose, United States, pp. 569-584 (2003)
• 2002
  • Ph. Codognet, D. Diaz : “Constraint-based Local Search For Discrete Optimization”, International Conference on Optimization Methods and Software, Hangzhou, China, pp. nd (2002)
  • Ph. Codognet, D. Diaz, Ch. Truchet : “The Adaptive Search Method for Constraint Solving and its application to musical CSPs”, International Workshop on Heuristics, Beijing, China, pp. 9 pages (2002)
• 2001
  • Ph. Codognet, D. Diaz : “Yet Another Local Search Method for Constraint Solving”, Stochastic Algorithms, Foundations and Applications, vol. 2264, Lecture Notes in Computer Science, Berlin, Germany, pp. 73-90, (Springer) (2001)
  • Ph. Codognet, D. Diaz : “A Local Search Method for Constraint Solving”, AAAI Fall Symposium "Using Uncertainty within Computation", North Falmouth, Cape Cod, United States, pp. 38-46, (AAAI) (2001)
  • D. Diaz, Ph. Codognet : “Design and Implementation of the GNU Prolog System”, Journal of Functional and Logic Programming, vol. 6, pp. 1, (Westf§lische Wilhelms-Universit§t M?nster) (2001)
• 2000
  • D. Diaz, Ph. Codognet : “GNU Prolog: Beyond Compiling Prolog to C”, Practical Aspects of Declarative Languages (PADL), Boston, United States, pp. 81-92 (2000)
  • D. Diaz, Ph. Codognet : “The GNU Prolog System and its Implementation”, ACM Symposium on Applied Computing, Villa Olmo, Como, Italy, pp. nd (2000)