Search for dissertations about: "intermediate code"

Showing result 1 - 5 of 41 swedish dissertations containing the words intermediate code.

2. 1. Code Optimisation Techniques for Lazy Functional Languages

   Author : Urban Boquist; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; graph reduction; garbage collection; lazy functional languages; program transformation; interprocedural register allocation; graph colouring; intermediate code; code optimisation; compiler back-end;

   Abstract : 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. READ MORE

4. 2. Proving Safety and Security of Binary Programs

   Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

   Abstract : 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. READ MORE

5. 3. Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks : with Application to Molecular Dynamics

   Author : Måns Andersson; Stefano Markidis; Artur Podobas; Niclas Jansson; Ivy Bo Peng; Hartwig Anzt; KTH; []
   Keywords : Intermediate Representation; Discrete Fourier Transform; Fast Fourier Transform; Molecular Dynamics; Mellankod; diskret Fouriertransform; snabb Fouriertransform; Molekyldynamik;

   Abstract : 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. READ MORE

6. 4. Properties of Type Ia Supernovae : From the (intermediate) Palomar Transient Factory

   Author : Seméli Papadogiannakis; Ariel Goobar; Rahman Amandius; Ulrich Feindt; Edward Baron; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Type Ia supernovae; cosmology; machine learning; fysik; Physics;

   Abstract : 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. READ MORE

7. 5. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

   Author : Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : 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. READ MORE