A program slicer for LF by Louw, Francoise

Get full text

A model checker for the LF system by Gerber, Erick D. B.

Get full text

Reducing communication in distributed model checking by Fourie, Jean Francois

Get full text

Parallel likelihood calculations for phylogenetic trees by Hayward, Peter

Get full text

Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models by Grobbelaar, Nelia

Get full text

Process-based decomposition and multicore performance : case studies from Stringology

Get full text

Contextualisation of instructional time utilising mobile social networks for learning efficiency: a participatory action research study for technical vocational education and train... by Dzvapatsva, Godwin Pedzisai

“…Despite the fact that some studies have shown a connection between learning efficiency and instructional time, there is lack of research that has been carried out within the Technical Vocational Education and Training sector with a particular focus on National Certificate Vocational programmes. To fill this gap, the current study utilised WhatsApp, an instance of a Mobile Social Network, in extending instructional time beyond the normal lecturing timetables with the objective of improving learning efficiency for NCV learners studying Computer Programming as a subject. …”
Get full text

The experiences of HIV positive patients on antiretroviral drugs attending the public service health institutions in the Eastern Cape Province : a qualitative study by Chandia, J.

Get full text