Essays about: "Ellen Arvidsson"

Found 1 essay containing the words Ellen Arvidsson.

  1. 1. Deterministic Concurrency Using Lattices and the Object Capability Model

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Ellen Arvidsson; [2018]
    Keywords : type systems; concurrency; determinism; object capability model; lattices; small-step operational semantics;

    Abstract : Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution orders when constructing an algorithm. Therefore deterministic-by-design concurrent systems are attractive. READ MORE