Bibliothèque et outils dédiés à la simulation physique pour la recherche académique et industrielle. Permet de modéliser des systèmes dynamiques, d'analyser des données temporelles et de valider des algorithmes dans des environnements virtuels. Utilisé principalement en robotique, mécanique et informatique graphique pour des applications nécessitant une précision élevée.

Batsim est un outil de simulation dédié à l'étude des systèmes de calcul haute performance. Il permet d'analyser et d'optimiser les performances des infrastructures informatiques, notamment en évaluant l'impact énergétique des politiques d'ordonnancement de tâches. Utilisé dans la recherche académique et industrielle, il aide à concevoir des solutions plus efficaces et durables pour les centres de données et les supercalculateurs.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

Ce projet présente un article scientifique sur le système de transformation DIRAC. Il s'agit d'une étude approfondie des mécanismes et des applications de ce système dans le domaine de l'informatique théorique et pratique. L'objectif est de partager des connaissances avancées et de contribuer à la recherche académique.

Ce projet permet de calculer et d'analyser les historiques d'utilisation des ressources CPU et GPU. Il est principalement utilisé dans un contexte académique ou de recherche pour optimiser les performances des systèmes informatiques et comprendre l'efficacité des calculs parallèles.