Skip to contents

  2. Morvan, Antoine [Author] ; Cachan, Ecole normale supérieure [Contributor]; Quinton, Patrice [Contributor]

    Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées ; Synthesis of pipelined architectures using the polyhedral model

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2013-06-28

  5. Goubault de Brugière, Timothée [Author] ; université Paris-Saclay [Contributor]; Baboulin, Marc [Contributor]; Valiron, Benoit [Contributor]

    Methods for optimizing the synthesis of quantum circuits ; Méthodes pour l'optimisation de la synthèse de circuits quantiques

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2020-10-22

  6. Llopard, Ivan [Author] ; Paris 6 [Contributor]; Cohen, Albert [Contributor]; Fabre, Christian [Contributor]

    Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines ; Programmation de systèmes embarqués many-core : raffinement et compilation optimisante d'un langage d'action parallèle pour machines à états hiérarchiques

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-04-26

  7. França, Ricardo Bedin [Author]; Favre-Felix, Denis [Author]; Leroy, Xavier [Author]; Pantel, Marc [Author]; Souyris, Jean [Author] ; Ricardo Bedin França and Denis Favre-Felix and Xavier Leroy and Marc Pantel and Jean Souyris [Contributor]

    Towards Formally Verified Optimizing Compilation in Flight Control Software

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  9. Kelly, Andrew D.; Marriott, Kim; MacDonald, Andrew; Stuckey, Peter J.; Yap, Roland

    Optimizing compilation of CLP( ℛ )

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 1998

    Published in: ACM Transactions on Programming Languages and Systems