Search Results - Linearisability cracking~

  • Showing 1 - 7 results of 7
Refine Results
  1. Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

    Published 2021
    Get full text
    Thesis
  2. Modelling and Tracking of the Global Maximum Power Point in Shaded Solar PV Systems Using Computational Intelligence by Sagonda, Arnold Farai

    Published 2020
    Get full text
    Thesis
  3. A comparison of control systems for the flight transition of VTOL unmanned aerial vehicles by Kriel, Steven Cornelius

    Published 2008
    Get full text
    Thesis
  4. Enhancing mobile camera pose estimation through the inclusion of sensors by Hughes, Lloyd Haydn

    Published 2015
    Get full text
    Thesis
  5. Fault-tolerant flight control for a fixed-wing unmanned aerial vehicle with partial horizontal and vertical stabiliser losses by Maggott, Ryan Lee

    Published 2016
    Get full text
    Thesis
  6. Stereo vision for simultaneous localization and mapping by Brink, Wikus

    Published 2012
    Get full text
    Thesis
  7. Applications of generalised supply-demand analysis by Christensen, Carl David

    Published 2013
    Get full text
    Thesis