Jeu sérieux pédagogique destiné à la formation des médecins généralistes. Le joueur incarne un docteur en médecine générale et doit diagnostiquer correctement cinq patients en tenant compte de leur contexte de vie. Le jeu simule une demi-journée de travail avec des interactions basées sur des questions aléatoires et un suivi des réponses dans un carnet virtuel. Un système de score permet d'évaluer la performance du joueur.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

Ce projet vise à évaluer les performances de systèmes distribués et à expérimenter différentes techniques de mise à l'échelle. Il contient deux types d'expériences : des expériences synthétiques et des expériences sur un cas d'utilisation réel. Les résultats de ces expériences sont inclus dans le dépôt.

Spinfer Evaluation est un projet dédié à l'évaluation des performances de systèmes distribués. Il génère des données d'évaluation pour la conférence USENIX ATC 2020 et permet d'analyser les résultats obtenus. Ce projet est utile pour les chercheurs et les professionnels du domaine des systèmes distribués qui souhaitent mesurer et améliorer les performances de leurs systèmes.

Projet open source dédié à la mesure et à la comparaison des performances de différentes solutions logicielles et configurations matérielles. Il permet aux développeurs et administrateurs système d'évaluer objectivement les outils qu'ils utilisent ou envisagent d'adopter, en fournissant des métriques standardisées et des rapports détaillés pour faciliter la prise de décision.

Projet académique visant à créer un outil de benchmark pour évaluer l'efficacité des systèmes de détection d'attaques par déni de service (DDoS). Il permet de simuler des attaques réseau variées, de capturer le trafic généré, et d'analyser les performances de différents algorithmes de détection. Les résultats sont comparés via des métriques comme le taux de détection, la précision et le taux de faux positifs.

Ce projet automatise l'identification et l'extraction des titres de chansons (airs) présents dans des textes dramatiques français, notamment des pièces de théâtre. Il compare les occurrences textuelles avec une base de référence de titres connus, utilise des techniques de recherche sémantique pour améliorer la précision, et génère des rapports d'évaluation pour mesurer la performance du système. L'outil est particulièrement utile pour les chercheurs en littérature ou en musicologie travaillant sur des corpus historiques.

Outil open source dédié à l'évaluation et au benchmarking de moteurs de raisonnement logique et de systèmes de règles. Il permet de comparer les performances de différents systèmes de gestion de connaissances (ontologies, bases de données déductives) en simulant des charges de travail variées. Utilisé principalement par des chercheurs et développeurs en intelligence artificielle pour valider l'efficacité de leurs solutions.

Projet technique dédié à l'assemblage et au déploiement de nœuds matériels, notamment sur des plateformes comme Raspberry Pi. Il permet la synchronisation et la gestion de configurations entre différents systèmes embarqués, avec un focus sur des démonstrations de performance et des outils de benchmarking pour évaluer le matériel.

Ce projet permet la simulation et le prototypage rapides de systèmes de communication grâce à l'utilisation du framework Aff3ct. Il offre une plateforme flexible pour tester et évaluer les performances de différents protocoles de communication, ce qui permet de réduire les délais de développement de prototypes et d'améliorer la fiabilité des systèmes de communication.