Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Subjects: “…Program verification…”
Get full text

Distributed binary decision diagrams by Fasan, Mary Oluwasola

Subjects: “…Program verification…”
Get full text

The Measurement & Verification of Energy Conservation Measures at a Coal-fired Power Plant by Larmour, Richard

“…The aim of this dissertation was to use Measurement & Verification (M&V) to determine the improvements in net heat rate at a South African coal-fired power plant (CFPP) following an extensive refurbishment programme. …”
Get full text

A comparison of two different model checking techniques by Bull, J. J. D

Subjects: “…Computer software -- Verification…”
Get full text

The impact of DNA parentage verification on EBV estimation and sire ranking in South African Angora goats

Get full text

Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

Get full text

Genetic verification of multiple paternity in two free-ranging isolated populations of African wild dogs (Lycaon pictus)

Get full text
Get full text

Preliminary validation of Mycobacterium avium subspecies paratuberculosis detection in ovine pooled faecal culture and species verification by PCR

Get full text

Simulation and verifcation software for superconducting electronic Circuits by Delport, Johannes Arnoldus

Get full text

The characterization of the components of the energy and water balance within hedgerow orchards for the verification of a two-dimensional water balance and energy interception mode...

Get full text
Get full text

A decision support system for managing results-based financed mega infrastructure programs by Zahran, Kareem

“…The proposed model provides governments a step-by-step guide through each stage from initiation to program closing. For verification, the model was applied on a case study for presenting its capabilities. …”
Get full text
Get full text

Automated parameter extraction for Single Flux Quantum integrated circuits with LVS by Roberts, Rebecca Mimi Catherina

Get full text

A fitness landscape-integrated metaheuristic selection & configuration framework for binary programming problems. by Van der Westhuyzen, Nathan Jan

Get full text

A Bayesian approach to energy monitoring optimization

Get full text

An algebraic framework for reasoning about security by Rajaona, Solofomampionona Fortunat

Get full text
Get full text

Evaluating the impact of employment skills development services (ESDS) training programme of the Department of Labour

Get full text
Get full text

The formulation of guidelines for an occupational health and safety program to address women’s health concerns of mineworkers at a selected coalmine in Mpumalanga South Africa

Get full text

Developing a results-based monitoring and evaluation system for the child support grants programme in Namibia by Nshimyimana, Brigitte

Get full text

Python based FPGA design-flow by New, Wesley

Get full text

Investigating the non-termination of affine loops by Durant, Kevin

Get full text