python-folding

Implémentation Python de l'algorithme de compression de traces d'exécution par pliage géométrique utilisé dans MICKEY/POLY-PROF. Cet algorithme permet de visualiser et de comprimer des données géométriques, ainsi que de générer des diagrammes de profilage.

Dépôt de code

https://gitlab.inria.fr/CORSE/python-folding (nouvelle fenêtre)

Cas d'utilisation métiers

Cas d'utilisation fonctionnel

Génère des fichiers PDF : 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)

Outil utilisé

Matplotlib : voir les initiatives de ses organisations qui l'ont aussi

Description générée le mardi 19 mars 2024 à 17:02:22

D'autres initiatives de la même organisation

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