Chromatic analysis of numerical programs - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Chromatic analysis of numerical programs

Résumé

This paper introduces the concept of chromatic numbers, which allows to tint a scalar or a set of scalars to estimate the relations between input and output variables under additive property. This consists in proposing a decomposition of a resulting value as a sum of tinted values. We illustrate how this concept can be used on a deep neural networks example by tinting group of value at once allowing to track a large number of values together
Cet article introduit le concept d'Analyse Chromatique pour l'analyse de code logiciel, ce qui permet de teinter une variable scalaire ou un ensemble de variables scalaires et d'estimer les relations entre les variables d'entrée et de sortie sous propriété additive. L'Analyse Chromatique propose une décomposition d'un calcul résultat sous la forme d'une somme de valeurs teintées. Nous illustrons ce concept sur un exemple de réseaux de neurones profonds en teintant un groupe de variables d'entrées, ce qui permet de de suivre en une seule analyse leur impact potentiel sur un grand nombre de résultats.
Fichier principal
Vignette du fichier
Chromatic_Analysis_of_Numerical_Behaviour.pdf (389.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04232798 , version 1 (09-10-2023)

Identifiants

  • HAL Id : cea-04232798 , version 1

Citer

David Defour, Franck Vedrine. Chromatic analysis of numerical programs. ARITH 2023 - 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland, United States. pp.1. ⟨cea-04232798⟩
22 Consultations
24 Téléchargements

Partager

Gmail Facebook X LinkedIn More