Now showing items 1-3 of 3

  • Testing with Concepts and Axioms in C++ 

    Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (University of Bergen, Department of Informatics, 2008-10)
    Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ...
  • A two-layer model for linear stability analysis of shelf-slope currents. 

    Teigen, Sigurd Henrik (The University of Bergen, 2011)
    A method for obtaining the normal mode solution of a linear two-layer system over sloping topography has been derived and implemented, providing a basic tool for analysing the disper- sion relation and modal structure ...
  • Weak solutions and convergent numerical schemes of Brenner-Navier-Stokes equations 

    Svärd, Magnus (2015-01-20)
    Lately, there has been some interest in modifications of the compressible Navier-Stokes equations to include diffusion of mass. In this paper, we investigate possible ways to add mass diffusion to the 1-D Navier-Stokes ...