Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Institut national de recherche en informatique et en automatique
- ZeroMQ
- FELiScE est une bibliothèque de calcul par éléments finis écrite en C++, conçue pour la simulation de systèmes issus des sciences de la vie et de l'ingénierie. Elle fournit un environnement unifié pour le développement de solveurs de PDE en 1D, 2D et 3D, avec une variété d'interpolations finies élémentaires. La version actuelle gère principalement des approximations globalement continues avec des discontinuités interfaciales incorporées via le cadre Nitsche-XFEM sans maille. Les opérations linéaires et les tableaux locaux sont implémentés avec la bibliothèque de classe template boost-uBLAS, tandis que la structure de données globale et les solveurs (linéaires et non linéaires) sont basés sur le package PETSc.
- Melissa est un cadre évitant les fichiers, tolérant aux pannes et élastique pour effectuer une analyse de sensibilité à grande échelle sur des supercalculateurs. Il traite les données en ligne, évitant ainsi le stockage intermédiaire de fichiers et permettant des études à grande échelle avec des millions de simulations parallèles. Melissa est construit autour de deux concepts clés : les algorithmes statistiques itératifs et le modèle asynchrone client/serveur pour le transfert de données.
- Prototype Python utilisant le solveur Z3 SMT pour encoder et analyser les mesures socio-fiscales françaises. Il permet de répondre à des questions sur le système socio-fiscal sous la forme d'une recherche dichotomique pour maximiser ou minimiser une valeur donnée, en fonction de divers paramètres tels que les revenus, les allocations familiales, les aides au logement, etc.
- Le projet cosim20-python vise à faciliter la communication et le partage de données en temps réel entre des simulations distribuées, ainsi que la coordination de processus de calcul. Il permet aux simulations de travailler ensemble de manière efficace et synchronisée, améliorant ainsi la précision et la fiabilité des résultats.
- Kwapi-g5k est un outil de collecte et d'agrégation de données d'utilisation des ressources informatiques sur les grilles et les clusters. Il permet de surveiller l'utilisation des ressources, de collecter des données d'expérimentation et de fournir des informations en temps réel sur la charge de travail des clusters.
14 initiatives
10