Search for dissertations about: "Concurrency"

Showing result 21 - 25 of 78 swedish dissertations containing the word Concurrency.

  2. 21. Securing Interactive Systems

    Author : Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

    Abstract : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. READ MORE

  4. 22. Efficient concurrent data structure access parallelism techniques for increasing scalability

    Author : Adones Rukundo; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; FIFO queue; parallelism; performance modelling; design framework; semantic relaxation; Data structure; multi-access; lock free; performance analysis; counter; concurrency; search tree.; stack; multi-core processor; priority queue;

    Abstract : Multi-core processors have revolutionised the way data structures are designed by bringing parallelism to mainstream computing. Key to exploiting hardware parallelism available in multi-core processors are concurrent data structures. READ MORE

  5. 23. Flow Java: Declarative Concurrency for Java

    Author : Frej Drejhammar; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. READ MORE

  6. 24. Extending temporal action logic for ramification and concurrency

    Author : Joakim Gustafsson; Linköpings universitet; []
    Keywords : ;

    Abstract : .... READ MORE

  7. 25. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution

    Author : Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. READ MORE