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 31 for “"nondeterminism"”.
-
Nondeterminism and Language Design in Deep Inference
… of inference rules causes much greater nondeterminism in proof construction. This thesis attacks the problem of dealing with nondeterminism in proof search while preserving the shorter proofs that are available thanks to deep inference. By redesigning the deep inference deductive …
-
Verifying Confidentiality Under Nondeterminism for Storage Systems
… of the data, system complexity, and others. Nondeterminism in particular creates unique challenges by making probabilistic leakage possible. This dissertation introduces the following to address these challenges: Two novel confidentiality specifications for storage systems with …
-
On the power of nondeterminism in small two-way finite automata
We examine the conjecture that one-way nondeterministic finite automata (NFAS) can be exponentially more succinct than two-way deterministic ones (2DFAS); equivalently, that no polynomial-size sequence of 2DFAs can recognize B, for B a particular sequence of regular languages that is among the …
-
Model checking nondeterministic and randomly timed systems
… for models which combine stochastic timing and nondeterminism. This is surprising, as nondeterminism is the key for compositional modeling and occurs naturally in distributed systems. In this thesis, we overcome this limitation. More precisely, we consider continuous-time Markov decision …
-
Making discrete decisions based on continuous values
… be made based on continuous values by permitting nondeterminism. This thesis describes variants of the programming language allowing nondeterminism and/or partiality, and introduces two tools for creating nondeterministic programs on spaces. Overlapping pattern matching is a generalization of …
-
Table-driven parsing of natural language with constraint-based grammars
… of potential nontermination and unnecessary nondeterminism with the LR parsing method, which do not arise from grammars using monadic categories. To achieve a terminating and deterministic algorithm, an extended method for constructing parsing tables is developed. The extended LR method is …
-
A formal semantics of Python 3.3
… about Python programs, including sources of nondeterminism in the Python language specification, and formal reasoning about their behavior. While the semantics is incomplete, it is executable and has been thoroughly tested against a number of unit tests, and will be demonstrated to perform as …
-
An efficient sequential BTRS implementation
… language does allow the programmer to remove nondeterminism by specifying varying degrees of scheduling constraints. The compiler outputs a (sequential) single-threaded C implementation of the input description, choosing a static schedule which adheres to the input constraints. The resulting …
-
Model-checking problems, machines and parameterized complexity
… of random access machines whose use of <br>nondeterminism is bounded in terms of the parameters. By <br>further tuning the nondeterminism that the random access machines can use, <br>say, allowing alternating, or restricting the access to <br>the guessed numbers, we obtain machine …
-
Runtime Verification and Debugging of Concurrent Software
… task for programmers due to the inherent nondeterminism in their executions. As a result, concurrency related software bugs are among the most troublesome in practice and have caused severe problems in recent years. In this dissertation, I propose a series of new and fully automated …
-
A Distributed Genetic Algorithm With Migration for the Design of Composite Laminate Structures
… types of composite laminate design problems. The nondeterminism of GAs and the migration and dynamic load balancing algorithm used in this work result in a changed (diminished) workload, so conventional measures of parallelizability are not meaningful. Thus, a set of experiments is devised to …
-
Techniques for Foundational End-to-End Verification of Systems Stacks
… a smooth way of combining undefined behavior and nondeterminism, and enable forward-simulation compiler correctness proofs with nondeterministic languages, whereas previous approaches need to fall back to the much less convenient backward simulations if support for nondeterminism is needed. Live …
-
Provably good race detection that runs in parallel
… that is intended to be deterministic may exhibit nondeterminism clue to bugs called determinacy races. A key capability of race detectors is to determine whether one thread executes logically in parallel with another thread or whether the threads must operate in series. This thesis presents two …
-
Games, puzzles, and computation
… this. One example is the concept of alternating nondeterminism, which is intimately connected with two-player games. In the first half of this thesis, I develop the idea of game as computation to a greater degree than has been done previously. I present a general family of games, called …
-
Three-valued abstraction for stochastic systems
… states with different behavior are to be merged, nondeterminism is added to the corresponding abstract state to capture the uncertainty on what concrete state is occupied when looking at the abstract picture. Due to this newly introduced nondeterminism, we obtain abstractions that may contain more …
-
Probabilistic completion of nondeterministic models
… with a possible non-standard definition of nondeterminism. By abstract categorical notions, it is known that the ∨-stable functor Stblfin exists (the functor in the N-E corner of the above diagram). However, up until now there have been no concrete presentations of this functor, nor any …
-
Formalizing operator task analysis
… their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected …
-
Quality and Utility - On the Use of Time-Value Functions to Integrate Quality and Timeliness Flexible Aspects in a Dynamic Real-Time Scheduling Environment
… system to adapt to changing requirements and nondeterminism in the application behaviour. These models can be categorised as those whose source of flexibility is the quality of computations and those which are flexible regarding their timing constraints. This work describes a novel model which …
-
An effect system and language for deterministic-by-default parallel programming
… guaranteed to execute deterministically unless nondeterminism is explicitly requested. This is in contrast to the shared-memory models in widespread use today, such as threads and locks (including threads in ordinary Java). Those models are inherently nondeterministic, do not provide any way to …
-
A model checker for statecharts (linking case tools with formal methods)
… test the model for reachability of conditions, nondeterminism, or deadlock. Formal methods include powerful tools like automatic model checking to exhaustively check a model against certain requirements. Integrating formal techniques into the sys-tem development process is an effective method of …
Page 1 of 2