Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 126 for “"SMT"”.
-
An Effective SMT Engine for Formal Verification
… exploitation of Satisfiability Modulo Theories (SMT) solvers. In this thesis, we present MathSAT, a modern, efficient SMT solver that provides several important functionalities, and can be used as a workhorse engine in formal verification. We develop novel algorithms for two functionalities which …
-
Predicting SMT solver performance for software verification
… (or “goals”) are proved depends as much on the SMT solver as the properties of the goal itself. In this work, we present a method to use syntactic analysis to characterise goals and predict the most appropriate solver via machine-learning techniques. Combining solvers in this way - a …
-
Automated transmission line fault analysis the SMT method
Analyzing faults from transmission lines automatically using a computer is a complex, multi-step process that takes a literal understanding of how the computer reads the data. While there are many ways to approach this problem (e.g.. Inductance Calculation), the Square Mean Test method allows for …
-
Neural network based method for solving SMT problems
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
Modular SMT-Based Verification of Rule-Based Hardware Designs
… rule-level abstraction for verification using SMT-based verification, e.g. bounded and unbounded model checking. The main aspect of the rule-level abstraction taken advantage of is the modularity. Rule-level modules can only be interacted with through their interface methods, so if a module …
-
SMT-based bounded model checking of multi-threaded software in embedded systems
… (BMC) based on Satisfiability Modulo Theories (SMT) techniques. We present three major novel contributions. First, we extend the encodings from previous SMT-based bounded model checkers to provide more accurate support for variables of finite bit width, bit-vector operations, arrays, structures, …
-
SMT goes ABMS: Developing Strategic Management Theory using Agent-Based Modelling and Simulation.
For the emerging complexity theory of strategy (CTS), organizations are complex adaptive systems able to co-evolve with their dynamic environments through interaction and response, rather than purely analysis and planning. A promising approach within the CTS context, is to focus on a strategic …
-
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics
… formalism, like Satisfiability Modulo Theories (SMT), and on the use of the SAT formalism to solve problems with a wider extent (e.g. to compute interpolants, unsatisfiable cores, all-SAT). The research trends in Description Logic, its manifold practical applications, the quest of efficient and …
-
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos
O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução …
-
The immediate and short term effect of spinal manipulative therapy (SMT) on asymptomatic amateur golfers in terms of performance indicators
Thesis (Masters inTechnology: Chiropractic)-Durban University of Technology, Durban, South Africa, 2008.
-
Pembelajaran Berasaskan Masalah (PBM) melalui penguasaan kemahiran teknikal dan kemahiran generik bagi mata pelajaran Pengajian Kejuruteraan Awam (PKA)
… Kejuruteraan Awam di Sekolah Menengah Teknik (SMT) di seluruh Malaysia seramai 31 orang. Kajian ini meliputi 9 buah sekolah iaitu SMT Kuala Lumpur, SMT Johor Bahru, SMT Tuanku Jaafar, SMT Alor Setar, SMT Melaka, SMT Kuantan, SMT Terengganu, SMT Tuanku Abdul Rahman Putra dan SMT Sejingkat. …
-
Pembelajaran Berasaskan Masalah (PBM) melalui penguasaan kemahiran teknikal dan kemahiran generik bagi mata pelajaran Pengajian Kejuruteraan Awam (PKA)
… Kejuruteraan Awam di Sekolah Menengah Teknik (SMT) di seluruh Malaysia seramai 31 orang. Kajian ini meliputi 9 buah sekolah iaitu SMT Kuala Lumpur, SMT Johor Bahru, SMT Tuanku Jaafar, SMT Alor Setar, SMT Melaka, SMT Kuantan, SMT Terengganu, SMT Tuanku Abdul Rahman Putra dan SMT Sejingkat. …
-
An investigation into the role of the SMT and SGB in developing a partnership for the promotion of quality education in schools
… education has challenged School Manager Teams (SMTs) to transform the school's relationship with its service constituency and forge meaningful and effective partnerships between itself and the School Governing Bodies (SGBs) with the global aim of improving quality education. The SMT is the …
-
Lexical syntax for statistical machine translation
Statistical Machine Translation (SMT) is by far the most dominant paradigm of Machine Translation. This can be justified by many reasons, such as accuracy, scalability, computational efficiency and fast adaptation to new languages and domains. However, current approaches of Phrase-based SMT lacks …
-
Smten and the art of satisfiability-based search
… (SAT) and Satisfiability Modulo Theories (SMT) have been leveraged in solving a wide variety of important and challenging combinatorial search problems, including automatic test generation, logic synthesis, model checking, program synthesis, and software verification. Though in principle …
-
Development and evaluation of a simultaneous multithreading processor simulator
… parallelism (TLP). Simultaneous multithreading (SMT) is an architecture that exploits both LLP and TLP. It improves the utilization of the processor resources by allowing multiple independent threads to reside in the pipeline and dynamically scheduling the available resources among the threads. …
-
Synthesis of domain specific CNF encoders for bit-vector solvers
SMT solvers are at the heart of a number of software engineering tools. These SMT solvers use a SAT solver as the back-end and convert the high-level constraints given by the user down to low-level boolean formulas that can be efficiently mapped to CNF clauses and fed into a SAT solver. Current SMT …
-
Verification of Hybrid Systems using Satisfiability Modulo Theories
… systems using Satisfiability Modulo Theories (SMT). SMT is an established technique that has been used successfully in many verification approaches, targeted for both hardware and software systems. The use of SMT to verify hybrid systems has been limited, due to the restricted support of …
-
Assessment of a novel interview technique for improving young children's forensic reports
… the effects of source-monitoring training (SMT). All of the children in the present study viewed a video of a magic show and after a one-week delay were asked both misleading and accurate questions about the magic show video. After another one-week delay the children were randomly assigned …
-
Integrating source-language context into log-linear models of statistical machine translation
… statistical machine translation (SMT) model dependencies between the source and target phrases, but not among the phrases in the source language themselves. A swathe of research has demonstrated that integrating source context modelling directly into log-linear phrase-based SMT …
Page 1 of 7