Formal description of systolic algorithms and an analysis of the information flow

Presentation d'une formalisation mathematique stricte des algorithmes systoliques. L'equivalence entre des tableaux systoliques est alors definie. Un graphe de dependance de donnees est defini comme un outil d'analyse du flux d'informations