Zum Inhalt springen

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

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-06-28

  3. Vu, Son Tuan [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Heydemann, Karine [MitwirkendeR]; Cohen, Albert Henri [MitwirkendeR]

    Optimizing Property-Preserving Compilation ; Préservation des propriétés dans un flot de compilation optimisant

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-04-02

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

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-22

  6. Llopard, Ivan [VerfasserIn] ; Paris 6 [MitwirkendeR]; Cohen, Albert [MitwirkendeR]; Fabre, Christian [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-04-26

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

    Towards Formally Verified Optimizing Compilation in Flight Control Software

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    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( ℛ )

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 1998

    Erschienen in: ACM Transactions on Programming Languages and Systems

  17. Yi, Xiaodong; Zhang, Shiwei; Diao, Lansong; Wu, Chuan; Zheng, Zhen; Fan, Shiqing; Wang, Siyu; Yang, Jun; Lin, Wei

    Optimizing DNN Compilation for Distributed Training With Joint OP and Tensor Fusion

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2022

    Erschienen in: IEEE Transactions on Parallel and Distributed Systems

  19. Thoman, Peter; Moosbrugger, Stefan; Fahringer, Thomas

    Lecture Notes in Computer Science: Optimizing Task Parallelism with Library-Semantics-Aware Compilation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2015

    Erschienen in: Lecture Notes in Computer Science