Sökning: "programming abstraction"

Visar resultat 1 - 5 av 41 avhandlingar innehållade orden programming abstraction.

  1. 1. Function Variables for Constraint Programming

    Detta är en avhandling från Uppsala : Institutionen för informationsvetenskap

    Författare :Brahim Hnich; Uppsala universitet.; [2003]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi; Computer Science; data- och systemvetenskap;

    Sammanfattning : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. LÄS MER

  2. 2. Other Things Besides Number Abstraction, Constraint Propagation, and String Variable Types

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Joseph Scott; Uppsala universitet.; Uppsala universitet.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; constraint programming; string constraint problems; Galois connections; abstraction; constraint propagation; computer-aided verification applications; Datavetenskap; Computer Science;

    Sammanfattning : Constraint programming (CP) is a technology in which a combinatorial problem is modeled declaratively as a conjunction of constraints, each of which captures some of the combinatorial substructure of the problem. Constraints are more than a modeling convenience: every constraint is partially implemented by an inference algorithm, called a propagator, that rules out some but not necessarily all infeasible candidate values of one or more unknowns in the scope of the constraint. LÄS MER

  3. 3. Object oriented quality in introductory programming education

    Detta är en avhandling från Umeå : Umeå universitet, Institutionen för datavetenskap

    Författare :Marie Nordström; Umeå universitet.; [2010]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object orientation; Programming; Novices; Teaching; Education; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; datavetenskapernas didaktik; didactics of computer science;

    Sammanfattning : Examples are important when we attempt to learn something new. To learn prob-lem solving and programming is an acknowledged difficulty. LÄS MER

  4. 4. Skeleton Programming for Heterogeneous GPU-based Systems

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Usman Dastgeer; Linköpings universitet.; Linköpings universitet.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Skeleton programming; GPU programming; SkePU; performance; portability; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : In this thesis, we address issues associated with programming modern heterogeneous systems while focusing on a special kind of heterogeneous systems that include multicore CPUs and one or more GPUs, called GPU-based systems.We consider the skeleton programming approach to achieve high level abstraction for efficient and portable programming of these GPU-based systemsand present our work on SkePU library which is a skeleton library for these systems. LÄS MER

  5. 5. Programming Abstractions and Optimization Techniques for GPU-based Heterogeneous Systems

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Lu Li; Linköpings universitet.; Linköpings universitet.; [2018]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; CPU; GPU; GPGPU; heterogeneous systems; programming abstraction; performance optimization; energy optimization; adaptive sampling; MeterPU; TunerPU; XPDL; VectorPU;

    Sammanfattning : CPU/GPU heterogeneous systems have shown remarkable advantages in performance and energy consumption compared to homogeneous ones such as standard multi-core systems.Such heterogeneity represents one of the most promising trendsfor the near-future evolution of high performance computing hardware. LÄS MER