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

Get full text

Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

Get full text

Reducing communication in distributed model checking by Fourie, Jean Francois

Get full text

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

Get full text

Optimal measurement and verification plan on lighting

Get full text

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

Get full text
Get full text

A Bayesian approach to energy monitoring optimization

Get full text

A domain specific language for facilitating automatic parallelization and placement of SDR patterns into heterogeneous computing architectures by Mohapi, Lerato Jerfree

“…Therefore, the OptiSDR DSL and its compiler framework were developed to alleviate these parallelization and optimization processes together with developing execution models for DSP and dataflow models of computation suitable for SDR-specific computations. …”
Get full text

LF : a language for reliable embedded systems by Van Riet, F. A.

Get full text

An approach to modern static analysis with property graphs by Effendi, Sedick David Baker

Get full text

A structured approach to network security protocol implementation by Tobler, Benjamin

Get full text

Development of a conceptual framework for integrating intelligent-product structures into a flexible manufacturing system by Burkart, Adrian

Get full text

Charge pumps and floating gate devices for switching applications

Get full text
Get full text

Thermal management and control of space satellite systems and subsystems in orbit by Van Wyk, Peter Arnold

Get full text

Modelling of sanitary hot water energy consumption using adaptive neuro-fuzzy inference systems by Blignault, George William

Get full text

Mathematical modelling of sediment transport dynamics in the Berg River considering current and future water resources development scenarios by Van der Walt, Sarel C.

Get full text

Comparative study of tool-flows for rapid prototyping of software-defined radio digital signal processing by Setetemela, Khobatha

“…The study considers Migen- and MyHDL-based open-source tool-flows for FPGA targets, and CUDA and Open Computing Language (OpenCL) for GPU targets. The ideal high-level SDR DSP tool-flow specification was defined and used to conduct a comparative study of the tools across three main design categories, which included high-level modelling, verification and implementation. …”
Get full text

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

Get full text