Sökning: "concurrency"

Visar resultat 21 - 25 av 79 avhandlingar innehållade ordet concurrency.

  1. 21. Securing Interactive Systems

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :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;

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

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

    Författare :Adones Rukundo; Chalmers tekniska högskola; []
    Nyckelord :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;

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

  4. 23. Flow Java: Declarative Concurrency for Java

    Författare :Frej Drejhammar; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

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

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

    Författare :Joakim Gustafsson; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

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

    Författare :Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

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