Now showing items 1-2 of 2

    • Axiom-Based Transformations: Optimisation and Testing 

      Bagge, Anya Helene; Haveraaen, Magne (Elsevier, 2009-10-10)
      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 ...
      Journal article
    • Naive and adapted utilization of the GPU for general purpose computing 

      Mjøs, Alexander (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 ...
      Master thesis