Sökning: "programming abstraction"

Visar resultat 21 - 25 av 53 avhandlingar innehållade orden programming abstraction.

  1. 21. Techniques for Enhancing the Efficiency of Transactional Memory Systems

    Författare :Shady Issa; Paolo Romano; Vladimir Vlassov; Mats Brorsson; Konstantin Busch; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Transactional Memory; Parallel Programming; Concurrency Control; Self-tuning; Energy Efficiency; Data Partitioning; Dynamic Frequency and Voltage Scaling DVFS ; Hardware Transactional Memory HTM ; Memória Transacional; Programação Paralela; Eficiência Energética; Mecanismos de Auto-configuração; Partição de Dados; Frequência Dinâmica e do Escalonamento de Voltagem DVFS ; Memória Transacional em Hardware HTM ; Transaktionellt Minne; Parallellprogrammering; Samtida Exekvering; Självjusterande; Energieffektivitet; Datapartitionering; Dynamisk Frekvens och Volttalsskalning; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Transactional Memory (TM) is an emerging programming paradigm that drastically simplifies the development of concurrent applications by relieving programmers from a major source of complexity: how to ensure correct, yet efficient, synchronization of concurrent accesses to shared memory. Despite the large body of research devoted to this area, existing TM systems still suffer from severe limitations that hamper both their performance and energy efficiency. LÄS MER

  3. 22. Relations in Dependent Type Theory

    Författare :Carlos Gonzalía; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER

  4. 23. Compiler Generation for Data-Parallel Programming Languages from Two-Level Semantics Specifications

    Författare :Johan Ringström; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis is an empirical study of compiler generation for data-parallel languages from denotational-semantics-based formal specifications. We investigate whether compiler generation from such specifications is practical, not only with respect to generation of practical compilers, but also with respect to compilation of programs into efficient code and execution of the compiled programs on massively parallel SIMD (Single Instruction Multiple Data) architectures. LÄS MER

  5. 24. Ownership-Based Alias Managemant

    Författare :Tobias Wrigstad; Love Ekenberg; Arnd Poetzsch-Heffter; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Object-oriented programming relies on sharing and the mutable states of objects for common data structures, patterns and programming idioms. Sharing and mutable state is a powerful but dangerous combination. LÄS MER

  7. 25. Performance-aware Component Composition for GPU-based systems

    Författare :Usman Dastgeer; Christoph Kessler; Marco Danelutto; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis addresses issues associated with efficiently programming modern heterogeneous GPU-based systems, containing multicore CPUs and one or more programmable Graphics Processing Units (GPUs). We use ideas from component-based programming to address programming, performance and portability issues of these heterogeneous systems. LÄS MER