Sökning: "programming frameworks"

Visar resultat 6 - 10 av 43 avhandlingar innehållade orden programming frameworks.

  1. 6. 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

  3. 7. Pattern-based Programming Abstractions for Heterogeneous Parallel Computing

    Författare :August Ernstsson; Christoph Kessler; José Daniel García Sánchez; Herbert Kuchen; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; High‐level parallel programming; Algorithmic skeletons; Heterogeneous systems; High‐performance computing;

    Sammanfattning : Contemporary computer architectures utilize wide multi-core processors, accelerators such as GPUs, and clustering of individual computers into complex large-scale systems. These hardware trends are prevalent across computers of all sizes, from the largest supercomputers down to the smallest mobile phones. LÄS MER

  4. 8. Designing a Modern Skeleton Programming Framework for Parallel and Heterogeneous Systems

    Författare :August Ernstsson; Christoph Kessler; José Daniel García Sánchez; Herbert Kuchen; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; High‐level parallel programming; Algorithmic skeletons; Heterogeneous systems; High‐performance computing;

    Sammanfattning : Today's society is increasingly software-driven and dependent on powerful computer technology. Therefore it is important that advancements in the low-level processor hardware are made available for exploitation by a growing number of programmers of differing skill level. LÄS MER

  5. 9. Models and solution methods for large-scale industrial mixed integer programming problems

    Författare :David Bredström; Mikael Rönnqvist; Dag Wedelin; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematic; linear programming MIP ; production-planning; MATHEMATICS; MATEMATIK;

    Sammanfattning : This thesis deals with large-scale industrial problems that can be formulated using mixed integer linear programming (MIP) models. Because of the large problem size, it is not often possible to apply standard solution methods. Therefore special techniques must be used. LÄS MER

  7. 10. Code Generation for Custom Architectures using Constraint Programming

    Författare :Mehmet Ali Arslan; Institutionen för datavetenskap; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The computation power we expect from the various smart devices we use keeps increasing. Not only do we want faster devices but also less power hungry and energy efficient devices, both for the environment and our personal convenience (remember that "mobile phone" attached to a power plug at all times?). LÄS MER