Zum Inhalt springen

  1. Müller, Ingo [VerfasserIn]; id_orcid0 000-0001-8818-8324 [VerfasserIn]; Marroquín, Renato [VerfasserIn]; Koutsoukos, Dimitrios [VerfasserIn]; Wawrzoniak, Michael [VerfasserIn]; id_orcid0 000-0002-1304-8420 [VerfasserIn]; Akhadov, Sabir [VerfasserIn]; Alonso, Gustavo [VerfasserIn] ; Porobic, Danica [MitwirkendeR]; Neumann, Thomas [MitwirkendeR]

    The Collection Virtual Machine: An Abstraction for Multi-Frontend Multi-Backend Data Analysis

    Konferenzberichte
    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.

    Association for Computing Machinery, 2020-06

    Erschienen in: Proceedings of the 16th International Workshop on Data Management on New Hardware, DaMoN '20

  2. Torres Carvajal, Raul Ernesto [VerfasserIn] ; Ludwig, Thomas [AkademischeR BetreuerIn]

    Comparison of Compiler's Intermediate Representations and Input/Output Access Patterns with String Kernels

    Bücher
    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.

    Hamburg: Staats- und Universitätsbibliothek Hamburg, 2018

  5. Falk, Heiko [VerfasserIn]; Lokuciejewski, Paul [VerfasserIn]; Theiling, Henrik [VerfasserIn] ; Heiko Falk and Paul Lokuciejewski and Henrik Theiling [MitwirkendeR]

    Design of a WCET-Aware C Compiler

    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.

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

  6. Torres Carvajal, Raul Ernesto [VerfasserIn] ; Ludwig, Thomas [MitwirkendeR]

    Comparison of Compiler's Intermediate Representations and Input/Output Access Patterns with String Kernels ; Vergleich von intermediären Darstellungen eines Compilers und Eingabe-/Ausgabe-Mustern mit String-Kernels

    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.

    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2018-01-01

  7. Trifunovic, Konrad [VerfasserIn] ; Paris 11 [MitwirkendeR]; Cohen, Albert Henri [MitwirkendeR]

    Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler ; Stratégies exploratoires efficaces pour la compilation polyédrique : algorithmes et expérience dans un compilateur de production

    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, 2011-07-04

  8. Pietrek, Artur [VerfasserIn] ; Grenoble [MitwirkendeR]; Fernandez, Jean-Claude [MitwirkendeR]

    TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme ; TIREX : A textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis

    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, 2012-10-02

  9. Ernst, Michael [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages

    Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

    Bücher
    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.

    New York, NY: ACM, 1995

    Erschienen in: ACM Digital Library- ACM Conferences

  18. Hjort, Rikard; Holmgren, Jakob; Persson, Christian

    Lecture Notes in Computer Science: The CakeML Compiler Explorer : Tracking Intermediate Representations in a Verified Compiler : Tracking Intermediate Representations in a Verified Compiler

    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 International Publishing, 2018

    Erschienen in: Lecture Notes in Computer Science

  19. Hendren, L.; Donawa, C.; Emami, M.; Gao, G.; Justiani; Sridharan, B.

    Languages and Compilers for Parallel Computing: Designing the McCAT compiler based on a family of structured intermediate representations

    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, 1993

    Erschienen in: Languages and Compilers for Parallel Computing