Results for (( Computer programme Verification ) OR ( computer programmes verification ))~ Showing 1 - 18 results of 18 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%28%28+Computer+programme++Verification+%29+OR+%28+computer+programmes+verification+%29%29%7E&type=AllFields&lng=en 18 0 50 Modelling of sanitary hot water energy consumption using adaptive neuro-fuzzy inference systems Wed, 10 Jun 2026 12:47:14 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 Blignault, George William Thesis 2016 Blignault, George William 0 Mathematical modelling of sediment transport dynamics in the Berg River considering current and future water resources development scenarios Wed, 10 Jun 2026 12:46:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 Van der Walt, Sarel C. Thesis 2012 Van der Walt, Sarel C. 0 Thermal management and control of space satellite systems and subsystems in orbit Wed, 10 Jun 2026 12:45:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 Van Wyk, Peter Arnold Thesis 2012 Van Wyk, Peter Arnold 0 An approach to modern static analysis with property graphs Wed, 10 Jun 2026 12:44:51 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 Effendi, Sedick David Baker Thesis 2025 Effendi, Sedick David Baker 0 Automated program generation : bridging the gap between model and implementation Wed, 10 Jun 2026 12:44:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 Bezuidenhout, Johannes Abraham Thesis 2012 Bezuidenhout, Johannes Abraham 0 LF : a language for reliable embedded systems Wed, 10 Jun 2026 12:44:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 Van Riet, F. A. Thesis 2012 Van Riet, F. A. 0 Development of a conceptual framework for integrating intelligent-product structures into a flexible manufacturing system Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 Burkart, Adrian Thesis 2022 Burkart, Adrian 0 Design and evaluation of a formula cache for SMT-based bounded model checking tools Wed, 10 Jun 2026 12:43:43 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 Breytenbach, Jean Anré Thesis 2018 Breytenbach, Jean Anré 0 A model checker for the LF system Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 Gerber, Erick D. B. Thesis 2012 Gerber, Erick D. B. 0 An algebraic framework for reasoning about security Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 Rajaona, Solofomampionona Fortunat Thesis 2013 Rajaona, Solofomampionona Fortunat 0 Reducing communication in distributed model checking Wed, 10 Jun 2026 12:41:54 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 Fourie, Jean Francois Thesis 2009 Fourie, Jean Francois 0 A fitness landscape-integrated metaheuristic selection & configuration framework for binary programming problems. Wed, 10 Jun 2026 12:40:57 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131952 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131952 Van der Westhuyzen, Nathan Jan Thesis 2025 Van der Westhuyzen, Nathan Jan 0 Optimal measurement and verification plan on lighting Wed, 10 Jun 2026 12:40:07 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F50836 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F50836 Thesis 2015 0 Charge pumps and floating gate devices for switching applications Wed, 10 Jun 2026 12:38:55 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29882 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29882 Thesis 2013 0 A Bayesian approach to energy monitoring optimization Wed, 10 Jun 2026 12:36:36 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 Thesis 2018 0 A structured approach to network security protocol implementation Wed, 10 Jun 2026 12:34:52 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F17381 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F17381 Tobler, Benjamin Thesis 2016 Tobler, Benjamin 0 Comparative study of tool-flows for rapid prototyping of software-defined radio digital signal processing Wed, 10 Jun 2026 12:31:58 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F30085 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F30085 Setetemela, Khobatha Thesis 2019 Setetemela, Khobatha 0 A domain specific language for facilitating automatic parallelization and placement of SDR patterns into heterogeneous computing architectures Wed, 10 Jun 2026 12:31:38 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F26860 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F26860 Mohapi, Lerato Jerfree Thesis 2018 Mohapi, Lerato Jerfree 0