Detecting and quantifying resource contention in concurrent programs by Venter, Dirk Willem

Subjects: “…Computers -- Concurrent programs…”
Get full text

The language approach to the development of reliable concurrent programs by De Villiers, Pieter Jan Albertus

Subjects: “…Concurrent Pascal (Computer program language)…”
Get full text

Unity-inspired object-oriented concurrent system development

Get full text
Get full text

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

Get full text

A program slicer for LF by Louw, Francoise

Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Get full text

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

Get full text

Development of a tool to test computer protocols by Myburgh, W. D.

Get full text

A language to support verification of embedded software by Swart, Riaan

Get full text

A multi-user process interface system for a process control computer by Sherlock, Barry Graham

“…The interface may be used concurrently by several users, and access is controlled in such a way as to prevent users' programs from interfering with one another. …”
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

Investigating the evolution of modularity in neural networks by Werle van der Merwe, Andreas

Get full text

Distributed binary decision diagrams by Fasan, Mary Oluwasola

Get full text

Parallelisation of algorithms by Schuilenburg, Alexander Marius

“…Most numerical software involves performing an extremely large volume of algebraic computations. This is both costly and time consuming in respect of computer resources and, for large problems, often super-computer power is required in order for results to be obtained in a reasonable amount of time. …”
Get full text

Relating an archive of in situ vertical chlorophyll-a profiles to concurrent remotely sensed surface data by Williamson, Robert I

Get full text

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

Get full text

An activity systems view of learning programming skills in a virtual lab: A case of University of Jos, Nigeria by Gogwim, Joel

“…Computer Science programming courses are the core of a Computer Science qualification and some of the learning outcomes of a Computer Science programming course are writing program code, program testing and debugging. …”
Get full text

Automated coverage calculation and test case generation by Morrison, George Campbell

Get full text