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 3193 for “"execution"”.
-
Execution model and optimizing compilation for execution migration
… systems with hardware support for fine-grained execution migration are becoming a reality, no concrete execution model or compiler exist for these machines. This limits the complexity of software that can be written for these machines, and therefore also the scope of studies for which these …
-
Manufacturing execution systems
The term Manufacturing Execution Systems (MES) was created in 1990 by Advanced Manufacturing Research (AMR) to describe the suite of software products which enables the execution of manufacturing through the integration of planning and control systems. The purpose of this dissertation is to …
-
Specification-enhanced execution
… for certain aspects of the program execution to the runtime system. We present specification- enhanced execution, a programming and execution model that allows the programmer to describe certain aspects of program execution using high level specifications that the runtime is …
-
Request-Based Mediated Execution
… by allowing lower levels to mediate the execution of higher levels. This structure is much like system-level virtualization, but much finer-grained. The approach builds on three existing programming language technologies: delimited continuations, dynamic scoping, and call-by-name …
-
GPU Execution Tracing and Compression
… both. Thus, in this thesis, I developed an execution tracing tool for GPUs called ECL-Tracer that is light-weight and immediately compresses the generated trace data before they are stored.
-
Successful Infrastructure Construction Project Execution
The following research builds on the existing project management success and critical success factor research by focusing on the social mechanisms used by project managers and project teams to achieve success. Through analysis of previous literature five criteria for success are determined and the …
-
Symbolic Execution Over Native X86
… developed at NPS that accomplishes symbolic execution without the use of an intermediate language and symbolically executes ELF and WinPE binary programs over the native x86 ISA instruction set, and specifically discusses an approach to describing state mathematically using a formal algebra.
-
Systematic Compilation for Predicated Execution
The Partial Reverse If-Conversion Framework, the Predicate Analysis System, the Predicate Dataflow Graph, and the Program Decision Logic Optimizer are demonstrated to work synergistically in the compiler to generate efficient code for nonnumeric programs. Using predication, these techniques …
-
Parallel execution for conflicting transactions
… that they have serializable effects. Sequential execution on contended data leaves cores idle and reduces throughput. In other parallel programming contexts---not serializable transactions--techniques have been developed that can reduce contention on shared variables using per-core state. This …
-
Optimal execution for portfolio transactions
… and the opportunity costs of delaying the execution and bearing the risk of current-to-target portfolio divergence. This thesis proposes a methodology for measuring the opportunity cost as well as a strategy that minimizes the proposed measure through optimal portfolio transition execution. …
-
Safe Concurrent Programming and Execution
… their data and control dependencies impose execution order constraints that preclude the use of traditional parallelization techniques. Sensitive to their input data, a substantial number of applications fail to scale well, leaving cores idle. To improve the performance of such applications, …
-
Opportunistic plan execution monitoring and control
… are required that allow flexibility during execution. There are two aspects of an executive that need addressing to provide the ability to deal with uncertainties: monitoring and control. This thesis examines both of these aspects and shows how these may be used during execution. For …
-
Automated Failure Explanation Through Execution Comparison
… effectively show how a bug propagates through an execution up to the point where a program fails. However, dynamic slices are large because they do not just explain the bug itself; they include extra information that explains any observed behavior that might be connected to the bug. Thus, the …
-
Danse Macabre: Origins, Evolution, and Execution
<p>The <em>Danse Macabre</em> is an allegory in which all living things -grand and otherwise -are equally escorted to death’s embrace. Most cultures, from ancient to contemporary, have a belief in an afterlife and interpreted death through funerary practices and religious artwork. Such spirituality …
-
Timed execution in distributed machine learning
… ML environment by tracing a distributed execution, visualizing the results, and expanding the observability to the production infrastructure. Later we developed three systems to address scalability challenges using these methods and systems based on a precise execution timing of the …
-
Robust execution for stochastic hybrid systems
… a novel 'Particle Control' approach for robust execution of state plans with stochastic hybrid systems. We introduce the notion of chance-constrained state plan execution; this means that the executive ensures tasks in the state plan have at least a specified minimum probability of success. The …
-
Secure execution environment via program shepherding
… monitoring control flow transfers during program execution in order to enforce a security policy. Program shepherding provides three basic techniques as building blocks for security policies. First, program shepherding can restrict execution privileges on the basis of code origins. This …
-
Performing binary fuzzing using concolic execution
… classes of closed source binaries using Concolic Execution techniques in order to find vulnerable inputs into programs that could be leveraged by attackers to compromise systems that the binary might be running on. The design of this system allows improved performance on fuzzing programs that have …
Page 1 of 160