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 374 for “"assertions"”.
-
Non-sentential assertions
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1993.
-
Coverage analysis for assertions and emulation based verification
… and effective code coverage metrics for assertions: one inspired by the test suite code coverage reported by Register Transfer Level (RTL) simulators and the other by assertion correctness in the context of formal verification. We present efficient algorithms to compute coverage with …
-
Analysis and design of a distributed system for management and distribution of natural language assertions
This research entails the design and development of an automated system that allows researchers working remotely to store, manage, and transfer assertion data to an external system run by the Intelligence Advanced Research Projects Activity. The research stems from the University of Maryland's …
-
Addressing South Carolina's Secondary Level Teacher Attrition Problem: Examining Teachers' Self-Efficacy, Attitudes, and Assertions
<p>The present study contributes to the limited body of research pertaining to secondary teacher efficacy and its relationship to career persistence, gender, ethnicity, contract status, and years of teaching. In addition, this study examines the concepts of student engagement, instructional …
-
The nature of hypnosis: an investigation of some assertions of the late Milton H. Erickson
Summary available: p. vi.
-
Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions
… present GoldMine, a methodology for generating assertions automatically. Our method involves a combination of data mining and static analysis of the Register Transfer Level (RTL) design. The RTL design is first simulated to generate data about the design’s dynamic behavior. The generated data is …
-
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions
The subject of this thesis is the development and investigation of a Methodology for program design and verification. The design part is described by a step-wise refinement process. The verification part is described by a set of Induction Rules. The distinguishing feature of this methodology is …
-
Nominalism In Mathematics - Modality And Naturalism
… ontology is replaced with various modal assertions - against two sources of resistance: that modal nominalists face difficulties justifying the modal assertions that figure in their theories, and that modal nominalism is incompatible with mathematical naturalism.</p> <p>Shapiro argues …
-
Harmonizing data mining and static analysis to tackle hardware and system level verification
… been widely adopted. Both of them always rely on assertions (a.k.a. properties) to express a design's intended behaviors. State-of-the-art formal verification suffers from the scalability issue, and the simulation based method does not suffice in covering design behaviors. Moreover, the used …
-
A Resident Teacher Program: Perceptions of Those Involved
… analyzed and one theme emerged. From the theme, assertions and sub-assertions developed based on commonalities. A description of the assertions and sub-assertions was discussed in reference to the literature. Recommendations for school personnel, teacher educators, and education policyrnakers …
-
Expectancy, Reinforcement-Value, and Demographics as Predictors of Situation-Specific and General Self-Esteem
… and sociology are willing to make sweeping assertions along these lines without hinting that such statements require the backing of research evidence. It has recently become widely fashionable and acceptable to write about hypothetical construct without referring the assertions to any …
-
nContract - Creating Configurable Run-Time Contract Verification for .NET Components
… also allow run-time contract verification via assertions. The client of the component could enable these assertions during development and debugging, and then disable them for the final production release to increase performance. This thesis presents nContract, a tool that provides configurable …
-
Automatic detection and verification of rumors on Twitter
… is achieved through classifying and clustering assertions made about that event. Assertions are classified through a speech-act classifier for Twitter developed for this thesis. The classifier utilizes a combination of semantic and syntactic features to identify assertions with 91% accuracy. To …
-
MintEra : a testing environment for Java programs
… users can specify representation- invariants and assertions within programs. MintEra uses the representation-invariant to generate testcases and translates assertions into Java run-time checks, which verify testcases. The tool then graphically visualize failed testcases to help users debug their …
-
Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation
… and evaluating register transfer level (RTL) assertions. We detail the GoldMine methodology and each of its data mining algorithms. We introduce the Best-Gain Decision Forest algorithm to mine concise RTL assertions. We develop an assertion ranking methodology. We define assertion importance, …
-
A metaphorical characterization of D.J. Opperman's Komas uit 'n bamboesstok in terms of relevance theory and the contemporary theory of metaphor
… interest and is considered relative to the assertions of Lakoff and Johnson (1980, 1999) and Lakoff and Turner (1989), proponents of the cognitive linguistic approach to metaphor. The study has three distinct parts. It firstly explores the treatment of metaphor within the framework of …
-
Improving information flow control design with security contexts
… taint tracking as a Ruby library, and data flow assertions for Ruby on Rails applications. The performance of these systems was benchmarked while running as a part of a Rails application, and reached acceptable performance: taint tracking had no impact on performance, and data flow assertions saw …
-
Leto : verifying application-specific fault tolerance via first-class execution models
… the underlying hardware system as well as verify assertions about the behavior of the application's resulting execution. A key aspect of verifying these implementations is that applications leveraging application-specific fault tolerance mechanisms often require assertions that relate the behavior …
-
Verification of correctness properties of programs that read input files
… and insert them into the program as assertions involving the file position indicator and file contents at different program points. It also presents a program verification system that verifies, for all possible input files and all possible input file contents, that the assertions hold …
-
Deep Assertion discovery using word embeddings
… the triplets to form factual tuples called ‘assertions’ from multiple free-text sources. The framework is built using a pipeline approach to discover the significant features (words) and map them to the relation tuples extracted using the open information extraction technique. We have …
Page 1 of 19