Projet pédagogique permettant aux étudiants de gérer et analyser des portefeuilles de cryptomonnaies. Il offre des outils pour suivre les transactions, évaluer la performance des actifs et comprendre les mécanismes des blockchains. Destiné à un usage académique, il facilite l'apprentissage des technologies décentralisées.

Ce projet est une plateforme dédiée à l'analyse et à la révision de code source. Il permet aux équipes de développeurs de collaborer efficacement en automatisant les vérifications de qualité, en centralisant les commentaires et en facilitant les retours sur les contributions. Destiné aux environnements académiques ou professionnels, il optimise le processus de développement logiciel en offrant des outils intégrés pour le suivi des bugs, l'évaluation des performances et la gestion des versions.

MINOTAuR est un projet de recherche dédié à la conception et à l'évaluation de processeurs RISC-V avancés. Il propose des architectures matérielles optimisées pour des applications embarquées et haute performance. Le projet inclut des outils de simulation, des benchmarks standardisés et des méthodes d'analyse des performances. Les processeurs développés sont comparés à des références existantes pour valider leur efficacité. Les résultats sont utilisés pour publier des travaux académiques et améliorer les architectures futures.

Ce dépôt centralise des tests dédiés aux infrastructures de calcul haute performance (HPC) gérées par le CINES. Il permet d'évaluer les performances, la fiabilité et la stabilité des systèmes HPC à travers des scripts de test couvrant la mémoire, les entrées/sorties, les communications réseau et la gestion des jobs. Ces tests sont conçus pour valider et optimiser les environnements de calcul scientifique utilisés par la communauté académique et de recherche en France.

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.

Ce projet académique permet de simuler des réseaux informatiques et d'analyser leur performance. Il inclut des exercices pratiques sur la modélisation de trafic réseau, l'étude des processus de Poisson, et l'évaluation de la latence et des taux de perte de paquets. Les étudiants utilisent des outils comme SimPy pour implémenter des scénarios de simulation et calculer des indicateurs clés comme les intervalles de confiance.

Ce projet académique vise à améliorer la qualité des lexiques bilingues utilisés pour entraîner et évaluer des modèles de traduction automatique. Il propose des méthodes de filtrage automatique pour corriger les erreurs et imprécisions présentes dans les lexiques initiaux, en exploitant des techniques comme la transitivité et la symétrie entre langues. Les résultats sont analysés quantitativement et qualitativement pour valider leur impact sur les performances des modèles.

P4z est un projet académique dédié à l'analyse comparative des performances de différents algorithmes de tri (insertion, fusion, rapide, radix) sur divers types de tableaux (aléatoires, croissants, décroissants, constants ou combinés). Il permet d'évaluer leur temps d'exécution et leur consommation mémoire en fonction de la taille des données et des caractéristiques des tableaux, afin d'identifier les cas d'usage optimaux pour chaque algorithme.

Projet académique visant à implémenter l'algorithme PageRank, utilisé par Google pour mesurer la popularité des pages web. Il analyse les liens entre les pages pour déterminer leur importance relative. Le projet inclut des scripts en Pig et Spark pour comparer leurs performances sur des clusters cloud. Les résultats expérimentaux permettent d'évaluer l'efficacité des deux approches en fonction du nombre de machines utilisées.

Projet académique visant à analyser et comparer les performances et la sécurité des algorithmes cryptographiques face aux attaques par canaux auxiliaires. Il propose des outils pour évaluer les fuites temporelles et valider des propriétés de mémoire constante, notamment via des modes sécurisés (exposé, verrouillé, sans branchement, etc.). Les résultats sont générés sous forme de fichiers CSV pour faciliter l'analyse comparative.