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 35 for “"Non-Determinism"”.
-
Randomness versus non-determinism in distributed computing
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1995.
-
Introducing Non-Determinism to the Parallel C Compiler
… to translate a race condition into<br />a non-deterministic solution.</p> <p><br />This document explores different phases of the project in detail. The<br />following phases are included: software design, algorithm design, analysis,<br />and results. The deliverables, source code, and …
-
Reactive synthesis of action planners
… ADL semantics cannot handle multiple agents or non-determinism. A natural extension of ADL (referred to as ADLnE in this document) has been proposed which can handle dynamic environments, non-determinism, and multiple agents. The proposed work can be seen as an extension to generic search based …
-
Bayesian Calibration for Logit Model Microsimulations: Case for PECAS SD in San Diego
… calibrating them is further complicated by their non-determinism. I investigated a calibration method called Bayesian Expected Value Calibration, which is designed to overcome non-determinism while incorporating existing knowledge, in the context of the PECAS Space Development model of the San …
-
DeNovo: rethinking the memory hierarchy for disciplined parallelism
… allow implicit communication and unstructured non-determinism. Such “wild” shared-memory behavior not only makes it difficult to test and maintain software but also complicates hardware, preventing it from scaling in a power-efficient manner. Recent research has proposed replacing the wild …
-
Runtime verification of object lifetime specifications
… model-checking framework. JPF supports modeling non-determinism in programs. We leverage this support to verify all possible thread interleavings when checking user programs.
-
Efficient Precise Dynamic Data Race Detection For Cpu And Gpu
Data races are notorious bugs. They introduce non-determinism in programs behavior, complicate programs semantics, making it challenging to debug parallel programs. To make parallel programming easier, efficient data race detection has been a research topic in the last decades. However, existing …
-
Biomimetic Agent-Based Modeling in Musical Interface Design: Ecological Dynamics, Care, and Constraint in a Physarum-Inspired Musical Instrument
… framework distinguishing standard from nonstandard synthesis can be extended to interface design: just as nonstandard synthesis foregrounds the model's operations at the sample level, the gestural level foregrounds the model's operations between performer and sound. At this level, …
-
Logical presentations of domains
… the solution of recursive domain equations; and non-determinism in mind. In this way, a reasonably comprehensive account of domains, as ordered sets, is given. The topological dimension of domain theory is then revealed, and the logical insights gained by regarding domains as topological spaces …
-
Introducing a Kantian interpretation of quantum physics : in accordance with Kant's philosophy of science in the Critique of the power of judgment, reinterpreted and reworked with special attention to the supersensible realm
In this thesis I confront the problem of indeterminism in quantum physics. The first pioneers accepted indeterminism as part of their Copenhagen interpretation and it was incorporated in Von Neumann's formulation (as the "projection postulate"). But how deep does this indeterminism go? With the …
-
A virtual machine approach to parallel debugging
… to be difficult. The increased complexity and non determinism of parallel programs makes it even more difficult. It is one of the reasons that parallel machines are not widely used for computationally intensive applications even though recent progress on VLSI technology has significantly …
-
On-the-Fly Dynamic Dead Variable Analysis
… produces a maximal reduction in the absence of non-determinism.
-
A methodology for analysis and control of discrete event dynamic systems
… properties such as concurrency, conflict and non-determinism. It is therefore important to model and analyse such systems before implementation to ensure safe, deadlock free and optimal operation. This thesis investigates current modelling techniques and describes Petri net theory in more …
-
AMIBE: an Imperative Programming Language with First Class Continuations
… is important for languages that need non-determinism and backtracking(e.g., COMET). We present a prototype imperative programming language with first class continuation -- AMIBE. AMIBE uses the LLVM compiler infrastructure which is attractive for its optimizing tools and overall modern …
-
Verification and Performance of the DeNovo cache coherence protocol
… evolve to enforce disciplined practices like ``determinism-by-default semantics'' and ban ``wild shared-memory behaviors'' like arbitrary data races and potential non-determinism everywhere. This evolution can not only benefit software development, but can also greatly reduce the complexity in …
-
End-to-end deep reinforcement learning in computer systems
… incrementally evaluate different dimensions of non-determinism. I demonstrate how Wield and progressive randomisation can be used to reproduce and assess prior work, and to guide implementation of novel RL applications.
-
Ontology verbalization in agglutinating Bantu languages: a study of Runyankore and its generalizability
… noun class system we were able to eliminate non-determinism during computation, and this led to the development of a generic noun pluralizer. We also showed that CFGs can conjugate verbs in the five additional languages. Finally, we proposed the architecture for an API that could be used to …
-
Utility Accrual Real-Time Scheduling: Models and Algorithms
… We also analytically establish timeliness and non-timeliness properties of GBS including bounds on activity utilities and mutual exclusion. GBS targets real-time systems that are subject to significant non-determinism inherent in their operating environments e.g., completely unknown activity …
-
Rethinking the design and implementation of the i/o software stack for high-performance computing
… collective I/O can be seriously compromised by non-determinism in process scheduling, we proposed <em>Resonant I/O</em>, to match the data request pattern with the pattern of file striping over multiple data servers to improve disk efficiency.</p> <p>Third, since the conventional practice for …
Page 1 of 2