Annuaire des initiatives

Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.

  • Veriloga est un outil dédié à la simulation et à la vérification de circuits logiques. Il permet aux ingénieurs et concepteurs de modéliser des systèmes numériques, d'analyser les signaux et de valider des architectures matérielles avant leur implémentation physique. Son approche facilite l'optimisation des performances et la détection précoce d'erreurs dans les designs.
  • Ce projet propose un benchmark dédié à l'évaluation des performances de différentes implémentations de l'équation de réaction Gray-Scott utilisant le framework SYCL. Il permet de comparer des méthodes de gestion mémoire (buffers, malloc_shared, malloc_device) et d'analyser l'impact des architectures matérielles (CPU, iGPU, dGPU) sur les temps de calcul et la précision des résultats. Les données collectées aident à optimiser les performances des applications scientifiques intensives.
  • 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.
  • Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.
  • Ithemal est un outil d'intelligence artificielle conçu pour prédire le nombre de cycles CPU nécessaires à l'exécution de blocs de code assembleur x86-64. Basé sur des modèles de deep learning, il permet aux développeurs et aux chercheurs d'évaluer rapidement la performance de leurs algorithmes sans avoir à les exécuter physiquement. L'outil est particulièrement utile pour l'optimisation de code bas niveau et l'analyse de performance matérielle.
  • OTAWA est un outil d'analyse et d'optimisation de performances de code logiciel sur des architectures matérielles spécifiques. Il permet de générer des rapports d'analyse détaillés et de proposer des optimisations de code pour améliorer les performances.
  • MojitO/S est un outil open source dédié au monitoring énergétique et des performances au niveau du système d'exploitation. Il permet de mesurer en temps réel la consommation d'énergie des composants matériels (CPU, GPU, mémoire, etc.) ainsi que divers indicateurs de performance (compteurs matériels, température, charge réseau). Idéal pour les administrateurs système, les chercheurs ou les développeurs souhaitant analyser et optimiser l'efficacité énergétique de leurs infrastructures.
  • Helio Benchmarks est une plateforme dédiée à l'évaluation et à la comparaison des performances des composants matériels informatiques. Elle permet aux utilisateurs de tester et d'analyser des configurations matérielles variées, offrant ainsi des données objectives pour optimiser leurs choix d'achat ou de configuration. Les résultats sont présentés de manière claire et structurée pour faciliter l'interprétation.
  • Ce projet fournit des tests et des définitions pour valider des logiciels de calcul scientifique comme FDMNES. Il permet d'évaluer les performances et la stabilité de ces outils sur des clusters de calcul haute performance, notamment ceux du ESRF et du GSI. Les configurations matérielles variées permettent d'analyser l'adéquation entre les logiciels et les infrastructures.
  • Outil d'analyse et d'estimation dédié aux gadgets de masquage utilisés en cryptographie. Il permet d'évaluer les performances en cycles CPU et les coûts mémoire des algorithmes de masquage sur différentes architectures de microcontrôleurs. Le projet facilite la comparaison des configurations et l'optimisation des paramètres pour des applications sécurisées, en intégrant une bibliothèque extensible de gadgets et des exemples de configurations matérielles et de masquage.

25 initiatives