Sökning: "Concurrency"

Visar resultat 1 - 5 av 79 avhandlingar innehållade ordet Concurrency.

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

    Författare :Sara Abbaspour Asadollah; Hans Hansson; Tao Yue; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : 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. LÄS MER

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

    Författare :Andreas Lundblad; Mads Dam; Gul Agha; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Sammanfattning : 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). LÄS MER

  4. 3. Concurrency Aware Shared Memory Data Structures

    Författare :Ioannis Nikolakopoulos; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; concurrency; lock-free; consistency; data structures; iteration; aggregation; synchronization; multi-core; data streaming;

    Sammanfattning : .... LÄS MER

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

    Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Sammanfattning : 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. LÄS MER