In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the...
Given k terminal pairs (s₁,t₁),(s₂,t₂),..., (s[subscript k],t[subscript k]) in an edge-weighted graph G, the k Shortest Vertex-Disjoint Paths problem is to find a collection P₁, P₂,..., P[subscript k] of vertex-disjoint paths with minimum total length, where P[subscript i] is an s[subscript i]-to-t[subscript i] path. As a special case of the...
This dissertation presents a phase domain in-loop-bandwidth spread-spectrum clock generation technique. In this proposed technique, a charge-based discrete-time loop filter is proposed to enable the phase domain in-loop-bandwidth spread-spectrum modulation without a delta-sigma modulator or time-to-digital converter. The in-loop-bandwidth modulation technique maximizes the loop bandwidth to improve phase noise suppression...
We model the popular board game of Clue as an MDP and evaluate Monte-Carlo policy rollout in a simulated environment pitting different agents and policies against each other. We describe the choices we made in the representation, along with some of the problems we encountered along the way. We find...
To protect user’s privacy and system’s integrity, mobile platforms use permission models to control accesses to protected resources such as GPS location, Contacts, etc. The previous major version of Android used a static permission model, which compromised the security and privacy of apps. Android 6 overhauled its permission model to...
This project is a custom output stage for a two-channel signal source design project at Oregon State. Starting in January, I began leading a team tasked with the development of an arbitrary waveform generator via the CreateIT Collaboratory at OSU. Undergraduate students interview into the CreateIT Collaboratory and are assigned...
As scaling of silicon (Si) based devices approaches fundamental limits, thin film metal-insulator-metal (MIM) tunnel diodes are attracting interest due to their potential for high speed operation. Because operation of these devices is based on tunneling, electrode / interfacial roughness is critical. Recently, it was shown that combining ultra-smooth bottom...
Transparent conductive oxides (TCOs), primarily indium doped tin oxide, have been widely used in numerous fields since decades ago, such as solar cells, displays, OLEDs and ‘smart windows’ etc. Owing to the scarcity of indium, there is a great demand for new alternative materials. Metal/insulator/metal (MIM) diodes are a critical...
The Intel Xeon Phi is a relative newcomer to the scientific computing scene. In the recent years, GPUs have been used extensively for mathematical simulations. The Xeon Phi is Intel’s response to the use of these cards. Like the GPU, it is highly parallelizable but can be programmed like a...
In data-centers, running multiple isolated workloads while getting the most performance out of available hardware is key. For many years Virtual Machines (VMs) have been an enabler, but native containers which offer isolation similar to virtual machines while reducing overhead costs associated with emulating hardware resources have become an increasingly...