Essays about: "Patrik Ackland"

Found 2 essays containing the words Patrik Ackland.

  1. 1. Fast and Scalable Static Analysis using Deterministic Concurrency

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

    Author : Patrik Ackland; [2017]
    Keywords : concurrent static analysis; ifds algorithm; reactive async;

    Abstract : This thesis presents an algorithm for solving a subset of static analysis data flow problems known as Interprocedural Finite Distribute Subset problems. The algorithm, called IFDS-RA, is an implementation of the IFDS algorithm which is an algorithm for solving such problems. READ MORE

  3. 2. Investigating how Distributed Computation Pruning performs on the Generalized Linear Preference model

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

    Author : Lasse Berglund; Patrik Ackland; [2015]
    Keywords : ;

    Abstract : Finding all shortest paths in a distributed dynamic network has many practical applications, but it is perhaps most important in network routing. To this end a number of algorithms and techniques have been developed. READ MORE