Search for dissertations about: "Abstractions"
Showing result 6 - 10 of 86 swedish dissertations containing the word Abstractions.
-
6. Approximations and abstractions for reasoning about machine arithmetic
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
-
7. Programming Abstractions and Optimization Techniques for GPU-based Heterogeneous Systems
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
-
8. Urban Runoff and Snowmelt : Quantity and Quality Processes in Snow Deposits and Hydrologic Abstractions
Abstract : .... READ MORE
-
9. Shared Memory Objects as Synchronization Abstractions: Algorithmic Implementations and Concurrent Applications
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
-
10. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
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