Now showing items 1-2 of 2
Naive and adapted utilization of the GPU for general purpose computing
(The University of Bergen, 2017)
In this thesis we will see that adaptive utilization of the graphical processing unit (GPU) has much better performance than naive utilization, but it takes longer time to implement and requires more knowledge about ...
Axiom-Based Transformations: Optimisation and Testing
Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...