Projets
Projets en cours
PADOC : Optimisation orientée performance et précision des formats de données dans les codes numériques
- Projet ANR JCJC 2018-2022. Partenaires : DALI (UPVD/LIRMM, Perpignan) et IN2P3/LUPM.
LBP (Little Big Processor) project: out-of-order computing on a parallelizing processor
- Occitanie's Regional support for 2019-2021. Partenaires : DALI (UPVD/LIRMM, Perpignan).
LBMC (Little Big MicroController) project: a deterministic parallelizing microcontroller
- CNRS Innovation Pre-maturation support for 2021-2023. Partenaires : DALI (UPVD/LIRMM, Perpignan).
CTAOptSim : Optimisation of air shower simulation codes used to study the performance of the Cherenkov Telescope Array (CTA), a new generation very-high energy gamma-ray observatory.
- Projet PEPS Astro-Informatique 2018-2019. Partenaires : DALI (UPVD/LIRMM, Perpignan) et IN2P3/LUPM.
Projets passés
MetaLibm : Génération de codes pour les fonctions mathématiques et les filtres
- Projet ANR 2013-2017. Partenaires : SOCRATE (Inria Rhône-Alpes et INSA Lyon)/Aric (LIP, ENS Lyon), Pequan (LIP6, UPMC Paris), DALI (UPVD/LIRMM, Perpignan) et CERN (Genêve).
PAVOIS : Protections Arithmétiques Vis à vis des attaques physiques pour la cryptOgraphIe basée sur les courbeS elliptiques
- Projet ANR Blanc 2012-2016. Partenaires : CAIRN (IRISA CNRS, Lannion), DALI (UPVD/LIRMM, Perpignan) et ARITH-ECO (LIRMM, Montpellier).
DEFIS : Design of Fixed-Point Systems
- Projet ANR 2011-2014. Partenaires : Cairn (Computing ArchItectures with embedded RecoNfigurable resources, EPI INRIA, IRISA, Rennes and Lannion), PEQUAN (PErformance et QUalité des Algorithmes Numériques, LIP6, Université Paris 6), DALI (LIRMM et Université de Perpignan), MEASI (Modélisation des systèmes en interaction, CEA-LIST), Thales, INPIXAL.
SARDANES : Semantics, analysis and transformation of numerical synchronous embedded software
- Projet financé par la Fondation de Recherche pour l'Aéronautique et l'Espace. 2009-2012. Partenaires : Ecole Normale Supérieure, Université de Perpignan Via Domitia, Université de Bretagne Occidentale.
Compil'HD : Compilation Haute Définition
- Appel à projets Chercheur d'Avenir de la Région Languedoc-Roussillon. 2010-2012.
BIOWIC : Bioinformatics Workflow for Intensive Computation
- Projet ANR 2009-2011. Partenaires : Symbiose (Bioinformatics, EPI INRIA, IRISA, Rennes), Genouest (Bioinformatics platform, BioGenOuest, Rennes), Cairn (Computing ArchItectures with embedded RecoNfigurable resources, EPI INRIA, IRISA, Rennes and Lannion), MIG (Mathematic, Informatic and Genomic Laboratory, INRA, Jouy en Josas), Universié de Perpignan Via Domitia.
MASSANE : Méthodes d'Analyse Statique pour la Sûreté des Applications Numériques Embarquées
- 2007-2012. Partenaires : Airbus et CEA-LIST.
EVA-Flo : Evaluation et Validation Automatique pour le calcul Flottant
- Projet ANR 2006-2010. Partenaires : Arénaire (LIP, ENSL), DALI (ELIAUS,UPVD), Fluctuat (LSL, CEA Saclay), Tropics (INRIA Sophia Antipolis). Coordinatrice : Nathalie Révol (Arénaire).
Action Concertée Incitative "Jeunes chercheurs 2003-2006" (MENRT)
- Qualité numérique du logiciel scientifique et arithmétique des ordinateurs. Ph. Langlois
Action Spécifique 2003-2004 (CNRS)
- Validation numérique embarquée. Organisateurs : Ph. Langlois (DALI), F. Rico (LIP6).