Search for dissertations about: "Concurrency"

Showing result 1 - 5 of 63 swedish dissertations containing the word Concurrency.

  1. 1. Concurrency Bugs : Characterization, Debugging and Runtime Verification

    University dissertation from Västerås : Mälardalen University

    Author : Sara Abbaspour Asadollah; Mälardalens högskola.; [2018]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. READ MORE

  2. 2. Inlined Reference Monitors Certification,Concurrency and Tree Based Monitoring

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Andreas Lundblad; KTH.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Abstract : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). READ MORE

  3. 3. Concurrency Aware Shared Memory Data Structures

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Ioannis Nikolakopoulos; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; concurrency; lock-free; consistency; data structures; iteration; aggregation; synchronization; multi-core; data streaming;

    Abstract : .... READ MORE

  4. 4. Capability-Based Type Systems for Concurrency Control

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Elias Castegren; Uppsala universitet.; Uppsala universitet.; [2018]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Type Systems; Capabilities; Concurrency; Parallelism; Data-Race Freedom; Lock-Free Data Structures; Object-Oriented Programming; Actors; Active Objects; Object Calculi; Semantics;

    Abstract : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. READ MORE

  5. 5. Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Johannes Åman Pohjola; Uppsala universitet.; Uppsala universitet.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE