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 166 for “"Executions"”.
-
Enabling Richer Insight Into Runtime Executions Of Systems
… of asynchrony, parallelism and distributed executions, reducing the manageability of software including performance management. Adding to the complexity, developers are under pressure between developing new functionality for customers and maintaining existing programs. This dissertation …
-
Correct Programs, Executed Correctly: Verifying Specifications And Executions
… the verifica-tion of programs and their executions. Domain-specific languages (DSLs) are key in this effort. By restricting program syntax to a mathematically well-understood subset, we prove important proper- ties. This dissertation introduces four new languages and proof systems: Ticl, …
-
Performing at the Block: Scripting Early Modern Executions
This thesis explores the executions of noble men and women in Tudor and early Jacobean England and the theatrical representations of executions that mirrored real life spectacles of deadly punishment. Historical scaffold confessions followed a formulaic pattern and condemned traitors performed …
-
Performing at the Block: Scripting Early Modern Executions
This thesis explores the executions of noble men and women in Tudor and early Jacobean England and the theatrical representations of executions that mirrored real life spectacles of deadly punishment. Historical scaffold confessions followed a formulaic pattern and condemned traitors performed …
-
Performance Analysis of Program Executions on Modern Parallel Architectures
Parallel architectures have become common in supercomputers, data centers, and mobile chips. Usually, parallel architectures have complex features: many hardware threads, deep memory hierarchies, and non-uniform memory access (NUMA). Program designs without careful consideration of these features …
-
"What alternative punishment is there?": Military Executions During World War I
… a critical manner and challenges the view that executions were arbitrary, reflecting a distant and uncaring High Command. Analysis of military and criminal law in Europe and the United States establishes a comparative framework from which to proceed. Changing ideas about discipline and duty as …
-
DETECTION, DIAGNOSIS AND MITIGATION OF MALICIOUS JAVASCRIPT WITH ENRICHED JAVASCRIPT EXECUTIONS
… addresses these problems through enriched executions, which explore arbitrary paths for detection, preserve JS-binary semantics for diagnosis, and perturbs memory with chaff code for mitigation.</p> <p>Firstly, JSForce, a forced execution engine for JavaScript, is proposed and developed to …
-
The Government's Executions Policy During the Irish Civil War 1922 -1923
This thesis examines the executions policy undertaken by the pro-treatyite Provisional/Free State Government during the Irish Civil War (1922–23). Following the Irish War of Independence (1919–21) and subsequent Anglo-Irish Treaty Ireland‘s previously united nationalist movement fractured into …
-
SNARKs for C : verifying program executions succinctly and in zero knowledge
… ARgument of Knowledge (zk-SNARK) for program executions, in the preprocessing model. This cryptographic primitive is a powerful solution for delegating N P computations, and enjoys many features not achieved by primitives implemented in prior works, most importantly, succinct verification and …
-
Efficient and proven verification of unreliable hardware executions of classic algorithms
Lowering voltage and frequency guardbands of CPU, DRAM, cache, or interconnect lowers power and latency, but increases the risk of silent data corruptions in even formally verified hardware and software. Researchers have been developing systems that use unreliable hardware, combined with software …
-
Automated Failure Explanation Through Execution Comparison
… techniques.</p> <p>To enable the comparison of executions, we develop new techniques for dynamic analyses that identify the commonalities and differences between executions. First, we devise and implement the notion of a point within an execution that may exist across multiple executions. We …
-
Dynamically fighting bugs : prevention, detection and elimination
… by using models created dynamically from example executions. In our evaluation, our technique created effective regression tests, and achieved good coverage even for programs with constrained APIs. Testers need to detect bugs in programs. This dissertation presents a technique that helps testers …
-
Capital Punishment And Race Disparities In The Modern Era: An Empirical Analysis
… I seek to identify multivariate correlates of executions involving characterizations of defendant race as well as victim race x gender characterizations since 1977. More specifically, I use multivariate analyses to examine possible predictors of executions elucidated defendant race x victim …
-
The role of judges on the commencement of reorganization proceedings
… proceedings suspends all actions and executions for debt collection against the applicant interfering with his creditors' and other intervenor's rights. Debtors who are not facing distress can apply to enter reorganization proceedings in order to enjoy the stay of actions and …
-
Effective Heuristic-based Test Generation Techniques for Concurrent Software
… generating input values such that the executions of the program with those inputs provide meaningful coverage guarantees for the program. Today, multi-threaded (concurrent) programs are becoming pervasive in the era of multiprocessor systems. The behaviour of a concurrent program …
-
ESTIMATION ON GIBBS ENTROPY FOR AN ENSEMBLE
… up to, creates the need of the ensemble of executions. This project implements a program to estimate the Gibbs Entropy for an ensemble of parallel executions. The goal is to develop tools for studying the non-deterministic feature of parallel code based on execution entropy and use these …
-
Conformity, Dissent, and the Death of Henry Barrow, 1570-1593
… circumstances leading up to and surrounding the executions of London Separatist leaders Henry Barrow and John Greenwood on 6 April, 1593. Occurring after a lengthy prison term punctuated by official examinations conducted by authorities, the executions took place only after the men had been twice …
-
Runtime execution tracing and alignment with PANDA
… what caused the difference, since the two executions may diverge much earlier for unrelated reasons and the relevant input may be one among tens of millions. This thesis implements a plugin for the Platform for Architecture-Neutral Dynamic Analysis (PANDA) which tracks control flow at …
Page 1 of 9