Search for dissertations about: "Abstractions"

Showing result 6 - 10 of 86 swedish dissertations containing the word Abstractions.

  2. 6. Approximations and abstractions for reasoning about machine arithmetic

    Author : Aleksandar Zeljic; Philipp Rümmer; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Abstract : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE

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

    Author : Lu Li; Christoph Kessler; Welf Löwe; Thomas Fahringer; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; CPU; GPU; GPGPU; heterogeneous systems; programming abstraction; performance optimization; energy optimization; adaptive sampling; MeterPU; TunerPU; XPDL; VectorPU;

    Abstract : 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. READ MORE

  5. 8. Urban Runoff and Snowmelt : Quantity and Quality Processes in Snow Deposits and Hydrologic Abstractions

    Author : Shahab Moghadas; Caterina Valeo; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; VA-teknik; Urban Water Engineering;

    Abstract : .... READ MORE

  6. 9. Shared Memory Objects as Synchronization Abstractions: Algorithmic Implementations and Concurrent Applications

    Author : Ioannis Nikolakopoulos; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; concurrent data structures; parallelism; lock-free synchronization; data stream processing; iteration;

    Abstract : Multicore and many-core architectures have penetrated the vast majority of computing systems, from high-end servers to low-energy embedded devices. From the hardware's perspective, performance scalability comes in the form of increasing numbers of cores. Nevertheless, fully utilizing this power is still an open research and engineering issue. READ MORE

  7. 10. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE