Sökning: "programming abstraction"

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

  1. 1. Function Variables for Constraint Programming

    Författare :Brahim Hnich; Edward Tsang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; 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

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

    Författare :Joseph Scott; Pierre Flener; Parosh Abdulla; Justin Pearson; Michel Rueher; Uppsala universitet; []
    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

  4. 3. Object oriented quality in introductory programming education

    Författare :Marie Nordström; Jürgen Börstler; Michael Kölling; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object orientation; Programming; Novices; Teaching; Education; Computer science; 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

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

    Författare :Usman Dastgeer; Christoph Kessler; Kristian Sandahl; Sergei Gorlatch; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Skeleton programming; GPU programming; SkePU; performance; portability; Computer science; 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

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

    Författare :Lu Li; Christoph Kessler; Welf Löwe; Thomas Fahringer; Linköpings universitet; []
    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