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

Subjects: “…Computer programs -- Validation…”
Get full text

Intelligent elevator control based on adaptive learning and optimisation by Jordaan, Edzard Adolf Biermann

Subjects: “…Elevators -- Computer programs…”
Get full text

Combining reverse debugging and live programming towards visual thinking in computer programming by Coetzee, Abraham Liebrecht

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

Static analysis of regular expressions by Weideman, Nicolaas Hendrik

Subjects: “…Computer programming language -- Regular expressions…”
Get full text

Predicting water quality variables by Elmahdi, Reem

Subjects: “…Time-series analysis -- Computer programs…”
Get full text

Towards a distributed real-time system for future satellite applications by Rozendaal, A. (Abraham)

Subjects: “…Linux device drivers (Computer programs)…”
Get full text

SLAM landmark identification using lidar measurements by Gericke, Johannes Petrus

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

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

Subjects: “…Computer programs -- Correctness…”
Get full text

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

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

Investigation of a simplified open boundary condition for coastal and shelf sea hydrodynamic models by Shabangu, Patrick Eminet

Subjects: “…Hydrodynamics -- Computer programs…”
Get full text

Calibration of heliostats using a drone. by Gouws, Jurgens Erik

Subjects: “…Computer program optimization…”
Get full text

An analysis of security protocols for lightweight systems by Kamkuemah, Martha Ndeyapeuomagano

Subjects: “…Computer programming…”
Get full text

A comprehensive framework for SQL query execution in distributed multidatabase systems by Winckler, Cornelis Janse

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

Detecting potholes with monocular computer vision: A Performance evaluation of techniques by Nienaber, Sonja

Subjects: “…Roads -- Maintainance and repair -- Management -- Computer programs…”
Get full text

On-line fault detection and end-of-batch quality prediction for batch processes incorporating on-line synchronisation and phase identification by Myburgh, Travis Louis

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

A physical design and layout versus schematic framework for superconducting electronics by Coetzee, Johannes

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

An open-source digital image correlation software system by Brisley, J. E.

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

Evaluation of a Java microprocessor for use in future SUNSAT satellites by La Grange, Philip(Philip Lodewyk)

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

Transient models for queueing networks by Phillips, Graham P.(Graham Peter)

Subjects: “…C++ (Computer program language)…”
Get full text

Simulasie van verkeersirkels met GPSS vir die bepaling van verkeerbeheer riglyne. by Vermeulen, Marthinus Joachim

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