Søgeresultater - "Compilers (Computer programs)"

Limitar resultados
  1. Omslagsbillede

    RTLRewriter: Methodologies for Large Models aided RTL Code Optimization af Yao, Xufeng

    Udgivet i arXiv.org (Sep 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  2. Omslagsbillede

    DeTRAP: RISC-V Return Address Protection With Debug Triggers af Richter, Isaac

    Udgivet i arXiv.org (Aug 30, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  3. Omslagsbillede

    Weak Memory Demands Model-based Compiler Testing af Geeson, Luke

    Udgivet i arXiv.org (Jan 12, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  4. Omslagsbillede

    Generation of Compiler Backends From Formal Models of Hardware af Smith, Gus Henry

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  5. Omslagsbillede

    Enforcing Integrity Models Through Hardware-Software Cohesive Systems af Cole, Matthew

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  6. Omslagsbillede

    Peephole Optimizations: From Craft Towards Science af Mukherjee, Manasij

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  7. Omslagsbillede

    Formal Verification of Quantum Software af Tao, Runzhou

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  8. Omslagsbillede

    AI-Assisted Software Analysis and Code Repair af He, Xu

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  9. Omslagsbillede

    Better Generative Compiler Fuzzing for Unsafe Languages af Livinskii, Vsevolod

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  10. Omslagsbillede

    A Language-Independent Approach to Generating Comprehensive Random Programs af Rodrigues, Melburne

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  11. Omslagsbillede

    Native Instrumentation Board Interface For Java Based Programs af Lin, William

    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  12. Omslagsbillede

    Learning to Parallelize in a Shared-Memory Environment with Transformers af Harel, Re'em

    Udgivet i arXiv.org (Jul 14, 2022)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  13. Omslagsbillede

    Novel and Efficient Execution Models Using Automatic Program Transformation af Basu, Nilanjana

    Citation/Abstract
    Full Text - PDF
    Føj til favoritter
    Guardado en:
  14. Omslagsbillede

    TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA af Trippel, Caroline

    Udgivet i arXiv.org (Feb 8, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  15. Omslagsbillede

    An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution af Zhang, Sizhuo

    Udgivet i arXiv.org (May 16, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  16. Omslagsbillede

    Extending Basic Block Versioning with Typed Object Shapes af Chevalier-Boisvert, Maxime

    Udgivet i arXiv.org (Jul 9, 2015)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  17. Omslagsbillede

    Liveness-Driven Random Program Generation af Barany, Gergö

    Udgivet i arXiv.org (Sep 13, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  18. Omslagsbillede

    SPARK: Static Program Analysis Reasoning and Retrieving Knowledge af Sodsong, Wasuwee

    Udgivet i arXiv.org (Nov 3, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  19. Omslagsbillede

    IONORT: IONOsphere Ray-Tracing - Ray-tracing program in ionospheric magnetoplasma af Bianchi, Cesidio

    Udgivet i arXiv.org (Sep 29, 2010)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:
  20. Omslagsbillede

    Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs af Chauhan, Himanshu

    Udgivet i arXiv.org (Jul 25, 2017)
    Citation/Abstract
    Full text outside of ProQuest
    Føj til favoritter
    Guardado en:

Søgeredskaber: