<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04688921</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-17T02:30:47+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Graph Transformations for Memory Peak Minimization by Scheduling</title>
            <title xml:lang="fr">Transformations de Graphe pour la Minimisation du Pic Mémoire par Ordonnancement</title>
            <author role="aut">
              <persName>
                <forename type="first">Pascal</forename>
                <surname>Fradet</surname>
              </persName>
              <email type="md5">b4daf89eb7e6dfcb9b2b43f7eaf6b292</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">pascal-fradet</idno>
              <idno type="idhal" notation="numeric">830961</idno>
              <idno type="halauthorid" notation="string">117461-830961</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4961-9923</idno>
              <affiliation ref="#struct-209151"/>
              <affiliation ref="#struct-1043301"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alain</forename>
                <surname>Girault</surname>
              </persName>
              <email type="md5">8688710b8609886a813cda48cdc6e7e5</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">1215838</idno>
              <idno type="halauthorid" notation="string">119607-1215838</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7500-1655</idno>
              <affiliation ref="#struct-209151"/>
              <affiliation ref="#struct-1043301"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Honorat</surname>
              </persName>
              <email type="md5">5285b8bd08191bd3f8704f046d8332f3</email>
              <email type="domain">yahoo.fr</email>
              <idno type="idhal" notation="string">alexandre-honorat</idno>
              <idno type="idhal" notation="numeric">7956</idno>
              <idno type="halauthorid" notation="string">29413-7956</idno>
              <idno type="IDREF">https://www.idref.fr/25313594X</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5875-7258</idno>
              <affiliation ref="#struct-209151"/>
              <affiliation ref="#struct-1043301"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pascal</forename>
                <surname>Fradet</surname>
              </persName>
              <email type="md5">b4daf89eb7e6dfcb9b2b43f7eaf6b292</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-09-05 18:16:15</date>
              <date type="whenModified">2025-09-27 18:48:13</date>
              <date type="whenReleased">2024-09-10 17:45:25</date>
              <date type="whenProduced">2024-09-05</date>
              <date type="whenEndEmbargoed">2024-09-05</date>
              <ref type="file" target="https://inria.hal.science/hal-04688921v1/document">
                <date notBefore="2024-09-05"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-04688921v1/file/RR-9554.pdf" id="file-4688921-4076503">
                <date notBefore="2024-09-05"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="107818">
                <persName>
                  <forename>Pascal</forename>
                  <surname>Fradet</surname>
                </persName>
                <email type="md5">b4daf89eb7e6dfcb9b2b43f7eaf6b292</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04688921</idno>
            <idno type="halUri">https://inria.hal.science/hal-04688921</idno>
            <idno type="halBibtex">fradet:hal-04688921</idno>
            <idno type="halRefHtml">RR-9554, Inria - Research Centre Grenoble – Rhône-Alpes. 2024, pp.1-42</idno>
            <idno type="halRef">RR-9554, Inria - Research Centre Grenoble – Rhône-Alpes. 2024, pp.1-42</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4688921-4076503"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="LIG-MFML-SPADES" corresp="LIG_MFML">Sound Programming of Adaptive Dependable Embedded Systems</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Graph Transformations for Memory Peak Minimization by Scheduling</title>
                <title xml:lang="fr">Transformations de Graphe pour la Minimisation du Pic Mémoire par Ordonnancement</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascal</forename>
                    <surname>Fradet</surname>
                  </persName>
                  <email type="md5">b4daf89eb7e6dfcb9b2b43f7eaf6b292</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">pascal-fradet</idno>
                  <idno type="idhal" notation="numeric">830961</idno>
                  <idno type="halauthorid" notation="string">117461-830961</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4961-9923</idno>
                  <affiliation ref="#struct-209151"/>
                  <affiliation ref="#struct-1043301"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alain</forename>
                    <surname>Girault</surname>
                  </persName>
                  <email type="md5">8688710b8609886a813cda48cdc6e7e5</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">1215838</idno>
                  <idno type="halauthorid" notation="string">119607-1215838</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7500-1655</idno>
                  <affiliation ref="#struct-209151"/>
                  <affiliation ref="#struct-1043301"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Honorat</surname>
                  </persName>
                  <email type="md5">5285b8bd08191bd3f8704f046d8332f3</email>
                  <email type="domain">yahoo.fr</email>
                  <idno type="idhal" notation="string">alexandre-honorat</idno>
                  <idno type="idhal" notation="numeric">7956</idno>
                  <idno type="halauthorid" notation="string">29413-7956</idno>
                  <idno type="IDREF">https://www.idref.fr/25313594X</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5875-7258</idno>
                  <affiliation ref="#struct-209151"/>
                  <affiliation ref="#struct-1043301"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-9554</idno>
                <idno type="localRef">RR-9554</idno>
                <imprint>
                  <biblScope unit="pp">1-42</biblScope>
                  <date type="datePub">2024-09-05</date>
                </imprint>
                <authority type="institution">Inria - Research Centre Grenoble – Rhône-Alpes</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Dataflow</term>
                <term xml:lang="en">Task graph</term>
                <term xml:lang="en">SDF</term>
                <term xml:lang="en">Memory peak</term>
                <term xml:lang="en">Sequential scheduling</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Many computing systems are constrained by a fixed amount of available shared memory. Modeling applications with task graphs or Synchronous DataFlow (SDF) graphs makes it possible to analyze and optimize their memory usage. The NP-complete problem studied here is to find a sequential schedule of dataflow graphs that minimizes their memory peak. We propose four task graph transformations that reduce the graph size while preserving the minimal memory peak. They are able to compress all Series-Parallel Directed Acyclic Graphs (SP-DAG) to a single node representing an optimal schedule (optimal in the sense  that its memory peak is minimal). They also offer simple criteria to schedule optimally parallel independent tasks and guided us to develop an optimal compositional scheduling analysis.   These transformations are quite effective and compress a large class of graphs into a single node representing an optimal schedule. When this is not the case, we propose an optimized branch and bound algorithm to complete the analysis of the reduced graphs. This algorithm is able to find the optimal schedule of graphs comprising up to 100 tasks. Our approach also applies to SDF graphs after converting them to task graphs.  However, since this conversion may produce huge graphs, we also describe a new suboptimal method, similar to Partial Expansion Graphs, to reduce the graph and schedule sizes. We evaluate our approach on classic benchmarks, on which we always outperform the state-of-the-art.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-209151" status="OLD">
          <idno type="RNSR">201321224T</idno>
          <orgName>Sound Programming of Adaptive Dependable Embedded Systems</orgName>
          <orgName type="acronym">SPADES</orgName>
          <date type="start">2002-06-01</date>
          <date type="end">2006-10-09</date>
          <desc>
            <address>
              <addrLine>Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/spades</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1043301" status="VALID">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035</idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>