IOLB

Notoriété 13 %

IOLB est un outil d'analyse de la complexité IO des programmes. Il permet de générer des bornes inférieures paramétriques pour les programmes et d'optimiser la complexité IO des algorithmes de calcul matriciel.

Dépôt de code

https://gitlab.inria.fr/CORSE/iolb (nouvelle fenêtre)3 étoiles

Cas d'utilisation métiers

Optimisation de la complexité IO des programmes : rechercher des initiatives proches
Analyse de la complexité des algorithmes de calcul matriciel : rechercher des initiatives proches
Génération de bornes inférieures paramétriques pour les programmes : rechercher des initiatives proches

Cas d'utilisation fonctionnel

Utilise de l'intelligence artificielle : voir les initiatives de ses organisations qui l'ont aussi

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Description générée le dimanche 17 mars 2024 à 20:05:37

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala