Sökning: "intermediate code"
Visar resultat 1 - 5 av 41 avhandlingar innehållade orden intermediate code.
1. Code Optimisation Techniques for Lazy Functional Languages
Sammanfattning : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. LÄS MER
2. Proving Safety and Security of Binary Programs
Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER
3. Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks : with Application to Molecular Dynamics
Sammanfattning : The Discrete Fourier Transform (DFT) and its improved formulations, the Fast Fourier Transforms (FFTs), are vital for scientists and engineers in a range of domains from signal processing to the solution of partial differential equations. A growing trend in Scientific Computing is heterogeneous computing, where accelerators are used instead or together with CPUs. LÄS MER
4. Properties of Type Ia Supernovae : From the (intermediate) Palomar Transient Factory
Sammanfattning : Type Ia Supernovae (SNe) have been used to discover the accelerated expansion of the universe but many open questions remain unanswered. These include the stellar progenitor, extinction and possible systematic trends in the supernova brightness for different host galaxy environments or cosmic time. LÄS MER
5. Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Sammanfattning : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. LÄS MER