Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00063000000000000000" id= "SECTION00063000000000000000">Exécution «efficace» logicielle de programmes Esterel</a></h2> <a name="TICK_resultats_efficace" id= "TICK_resultats_efficace"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Gérard Berry, Dumitru Potop.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>Esterel, code efficace .</i></p> <p>La traduction d'Esterel en circuits mène à un schéma simple d'exécution des programmes, qui consiste à évaluer séquentiellement toutes ces équations dans un ordre donné lors de chaque réaction du programme. Néanmoins, dans un programme hiérarchique de larges parties peuvent se révèler structurellement inactives, ce qui est dificile à détecter à ce niveau. Le sujet de thèse de Dumitru Potop consiste dans l'utilisation de la structure du programme Esterel pour définir un mode de compilation produisant un code plus efficace car n'exécutant que certaines parties actives du systèmes d'équations. Des travaux similaires ont été conduits dans la société Synopsys et au CNET Grenoble.</p> <p>Ces études sont permis de développer des méthodes rapides d'optimisation de la structure des circuits produits, anticipant sur les optimisations ultérieures et orientées par la recherche de la production de code efficace.</p> </body>