Essays about: "uppsnabbning"

Showing result 6 - 10 of 10 essays containing the word uppsnabbning.

  1. 6. Implied Constraints for the Unison Presolver

    University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Author : Erik Ekström; [2015]
    Keywords : ;

    Abstract : Unison is a compiler back-end that differs from traditional compiler approaches in that the compilation is carried out using constraint programming rather than greedy algorithms. The compilation problem is translated to a constraint model and then solved using a constraint solver, yielding an approach that has the potential of producing optimal code. READ MORE

  3. 7. Factoring integers with parallel SAT solvers

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Daniel Lundén; Erik Forsblom; [2015]
    Keywords : ;

    Abstract : Factoring integers is a well known problem that at present cannot be solved in polynomial time. Therefore, other approaches for solving factorization problems are of interest. One such approach is to reduce factorization to SAT and solve it with a dedicated SAT solver. READ MORE

  4. 8. GPU Simulation of Rigid Fibers

    University essay from KTH/Numerisk analys, NA

    Author : Erik Wolter; [2015]
    Keywords : ;

    Abstract : The major objective of this Master's thesis is to accelerate a serial implementation of a numerical algorithm for the simulation of slender fiber dynamics by using Graphical Processing Units (GPU). We focus on rigid fibers sedimenting due to gravity in a free-space Stokes flow. READ MORE

  5. 9. A comparative analysis between parallel models in C/C++ and C#/Java : A quantitative comparison between different programming models on how they implement parallism

    University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Author : Göran Angelo Kaldéren; From Anton; [2013]
    Keywords : ;

    Abstract : Parallel programming is becoming more common in software development with the popularity of multi core processors on the rise. Today there are many people and institutes that develop parallel programming APIs for already existing programming languages. READ MORE

  6. 10. Analysis and implementation of anefficient solver for large-scalesimulations of neuronal systems

    University essay from KTH/Numerisk analys, NA

    Author : Matthew The; [2013]
    Keywords : ;

    Abstract : Numerical integration methods exploiting the characteristics of neuronal equation systems were investigated. The main observations was a high stiffness and a quasi-linearity of the system. The latter allowed for decomposition into two smaller systems by using a block diagonal Jacobian approximation. READ MORE