Search for dissertations about: "Abstractions"

Showing result 11 - 15 of 86 swedish dissertations containing the word Abstractions.

  2. 11. Flow Java : declarative concurrency for Java

    Author : Frej Drejhammar; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; Computer engineering; Datorteknik;

    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

  4. 12. 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

  5. 13. Concept Formation in Mathematics

    Author : Jörgen Sjögren; Högskolan i Skövde; []
    Keywords : HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

    Abstract : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. READ MORE

  6. 14. Thread-based mobility for a distributed dataflow language

    Author : Dragan Havelka; Seif Haridi; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Datavetenskap; Computer science; Datavetenskap;

    Abstract : Strong mobility enables migration of entire computations combining code, data, and execution state (such as stack and program counter) between sites of computation. This is in contrast to weak mobility were migration is confined to just code and data. READ MORE

  7. 15. Design of High Performance Computing Software for Genericity and Variability

    Author : Malin Ljungberg; Michael Thuné; Kurt Otto; Hans Petter Langtangen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; PDE solver; high-performance; coordinate invariant; curvilinear coordinates; symmetry exploiting; generalized Fourier transform; finite difference; expression templates; feature modeling; variability; Beräkningsvetenskap; Scientific Computing;

    Abstract : Computer simulations have emerged as a cost efficient complement to laboratory experiments, as computers have become increasingly powerful. The aim of the present work is to explore the ideas of some state of the art software development practices, and ways in which these can be useful for developing high performance research codes. READ MORE