- FR | EN
Bienvenue au Centre de Recherche en Informatique (CRI) de MINES Paris. Le CRI se consacre à l'étude des langages utilisés par les technologies de l'information (langages de programmation, de description de données, d'interrogation ou semi-formels, voire naturels) et développe des techniques d'analyse sémantique et de transformations automatiques destinées à répondre aux besoins industriels (performance, consommation d'énergie, sécurité, coût de développement, time-to-market) et aux besoins administratifs et sociétaux (partage d'information cohérente, normalisation des données, accès à l'information, sauvegarde du patrimoine).
Actualités
Parallélisme au Rwanda
Topos-empowered automatic theorem generation
Présentation des posters réalisés à l'occasion de cette journée
Performance and Energy Efficiency of HPC workloads on x86 architectures
Mesurer la consommation énergétique des applications informatiques