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.

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 à fournir une évaluation des performances de systèmes répartis et à analyser des données distribuées.

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.

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.

AGOSUV-bench est un benchmark dédié à l'évaluation de requêtes sur des ontologies en logique de description. Il propose six ontologies distinctes (Adolena, StockExchange, University, Vicodi, Galen, OBOprotein) accompagnées de requêtes manuellement conçues pour tester les performances des systèmes de raisonnement. Cet outil permet de comparer objectivement les capacités de différents moteurs de règles et d'identifier les forces et faiblesses de chaque approche.

Ce projet est une collection d'expériences pour le papier de recherche BISM DSL. Il est divisé en deux parties : évaluation des performances et évaluation de l'expérience utilisateur. Il permet de gérer des utilisateurs et leurs comptes bancaires, de simuler des scénarios de transaction et d'évaluer les performances du système.

DYCTON est une plateforme de simulation dédiée à l'évaluation des performances de différentes configurations mémoire pour des systèmes embarqués. Elle permet de modéliser des architectures combinant mémoire rapide et mémoire lente, en fonction de l'empreinte mémoire des applications. L'objectif est de mesurer l'impact de ces configurations sur les performances globales des systèmes, notamment dans le cadre de systèmes sur puce (SoC) intégrant une architecture MIPS32 personnalisée.

Outil spécialisé dans l'exécution de benchmarks pour les systèmes haute performance (HPC). Il permet d'évaluer les performances de configurations matérielles variées, notamment via des techniques de modulation de fréquence (DVFS) et des compteurs de performance bas niveau. Utilisé principalement sur des infrastructures comme Grid5000, il aide à analyser la consommation énergétique et la stabilité des systèmes.

Le projet cuttr_timing_measurements est une suite d'outils permettant de mesurer les performances de systèmes informatiques, en particulier dans le contexte d'expériences sur des infrastructures dédiées. Il offre des fonctionnalités d'automatisation de déploiements et de configurations de systèmes, facilitant ainsi le processus d'évaluation et d'analyse des performances.