Physical Sciences and Mathematics Commons^™

In Perfect Xen, A Performance Study Of The Emerging Xen Scheduler, Ryan Hnarakis

Master's Theses

Fifty percent of Fortune 500 companies trust Xen, an open-source bare-metal hypervisor, to virtualize their websites and mission critical services in the cloud. Providing superior fault tolerance, scalability, and migration, virtualization allows these companies to run several isolated operating systems simultaneously on the same physical server. These isolated operating systems, called virtual machines, require a virtual traffic guard to cooperate with one another. This guard known as the Credit2 scheduler along with the newest Xen hypervisor was recently developed to supersede the older schedulers. Since wasted CPU cycles can be costly, the Credit2 prototype must undergo significant performance validation before …

Can Clustering Improve Requirements Traceability? A Tracelab-Enabled Study, Brett Taylor Armstrong

Master's Theses

Software permeates every aspect of our modern lives. In many applications, such in the software for airplane flight controls, or nuclear power control systems software failures can have catastrophic consequences. As we place so much trust in software, how can we know if it is trustworthy? Through software assurance, we can attempt to quantify just that.

Building complex, high assurance software is no simple task. The difficult information landscape of a software engineering project can make verification and validation, the process by which the assurance of a software is assessed, very difficult. In order to manage the inevitable information overload …

Computer Sketch Recognition, Richard Steigerwald

Master's Theses

Tens of thousands of years ago, humans drew sketches that we can see and identify even today. Sketches are the oldest recorded form of human communication and are still widely used. The universality of sketches supersedes that of culture and language. Despite the universal accessibility of sketches by humans, computers are unable to interpret or even correctly identify the contents of sketches drawn by humans with a practical level of accuracy.

In my thesis, I demonstrate that the accuracy of existing sketch recognition techniques can be improved by optimizing the classification criteria. Current techniques classify a 20,000 sketch crowd-sourced dataset …

Shark Sim: A Procedural Method Of Animating Leopard Sharks Based On Raw Location Data, Katherine S. Blizard

Master's Theses

Fish such as the Leopard Shark (Triakis semifasciata) can be tagged on their fin, released back into the wild, and their location tracked though technologies such as autonomous robots. Timestamped location data about their target is stored. We present a way to procedurally generate an animated simulation of T. semifasciata using only these timestamped location points.

This simulation utilizes several components. Input timestamps dictate a monotonic time-space curve mapping the simulation clock to the space curve. The space curve connects all the location points as a spline without any sharp folds that are too implausible for shark traversal. We create …

A Generic Decision Making Framework For Autonomous Systems, Connor Lange

Master's Theses

With the rising popularity of small satellites, such as CubeSats, many smaller institutions previously incapable of developing and deploying a spacecraft have starting to do so. Institutions with a history of space flight, such as NASA JPL, have begun to put projects on CubeSats that would normally fly on much larger satellites. As a result, the institutions with space flight heritage have begun to port spacecraft software that was previously designed for much larger and more complex satellites to the CubeSat platform. Unfortunately for universities, who are the majority of all institutions devel- oping CubeSats, these ported systems are too …

Misheard Me Oronyminator: Using Oronyms To Validate The Correctness Of Frequency Dictionaries, Jennifer G. Hughes

Master's Theses

In the field of speech recognition, an algorithm must learn to tell the difference between "a nice rock" and "a gneiss rock". These identical-sounding phrases are called oronyms. Word frequency dictionaries are often used by speech recognition systems to help resolve phonetic sequences with more than one possible orthographic phrase interpretation, by looking up which oronym of the root phonetic sequence contains the most-common words.

Our paper demonstrates a technique used to validate word frequency dictionary values. We chose to use frequency values from the UNISYN dictionary, which tallies each word on a per-occurance basis, using a proprietary text corpus, …

Mantis: A Predictive Driving Directions Recommendation System, Christopher Hoover

Master's Theses

This thesis presents Mantis, a system designed to evaluate possible driving routes and recommend the optimal route based on current and predicted travel conditions. The system uses the Bing Maps REST service to obtain a set of routes. Traffic data from the California Department of Transportation’s Performance Measurement System (PeMS) is then used to estimate travel times for these routes. In addition to simple travel time estimation based on instantaneous traffic conditions, Mantis can use historic data to predict traffic speeds at future times. This allows Mantis to more effectively account for regularly repeating traffic patterns such as rush hour, …

The Accessible User Interaction Framework For Android Applications, Xiaoxi Luo

Master's Theses

As mobile technologies advance, accessibility features of smartphones are continu- ously improving and becoming more prevalent. It is essential that the user interaction design of mobile applications provides equal access and equal service to all our com- munity, especially for people with disabilities. However, there are no general mobile accessibility design guidelines publicly available. This paper reviews the web acces- sibility development guidelines as a reference, and the current accessibility features provided by modern mobile operating systems.

It is proposed in this paper to use interactive spoken dialogues as the user interac- tion framework for accessible mobile applications. The idea …

Evaluating Usability Evaluations, Allen Leo Dunlea

Master's Theses

We live in an age when consumers can now shop and browse the web using hand-held devices. This means that competitive companies need to have a website to represent their brand and to conduct business. E-commerce sites need to pay special attention to the usability of their sites, since it has such an impact on how potential costumers view their brand.

Jakob Nielsen defines usability as a "quality attribute that assesses how easy user interfaces are to use"; he separates usability into five quality components: learnability, efficiency, memorability, errors and satisfaction. The current standard for testing usability involves having …

An Analysis Of Generational Caching Implemented In A Production Website, Marc E. Zych

Master's Theses

Website scaling has been an issue since the inception of the web. The demand for user generated content and personalized web pages requires the use of a database for a storage engine. Unfortunately, scaling the database to handle large amounts of traffic is still a problem many companies face. One such company is iFixit, a provider of free, publicly-editable, online repair manuals. Like many websites, iFixit uses Memcached to decrease database load and improve response time. However, the caching strategy used is a very ad hoc one and therefore can be greatly improved.

Most research regarding web application caching focuses …

Automated Filtering And Attribution Of Archive Bathymetry Based On A Priori Knowledge, Rodney Wade Ladner

Master's Theses

Hydrographic offices hold large volumes of historical bathymetric data. Many of these valuable datasets were collected using older generation survey systems and contain little or no metadata. Current efforts to utilize these data require human intervention to remove outliers and assess quality. This thesis develops automated algorithms based on a priori knowledge of existing bathymetric topography to remove errant soundings and concurrently provide an estimate of uncertainty.

Improving Webide Through Delightful Design And Gamification, Michael Hilton

Master's Theses

WebIDE is a web-based online learning environment. WebIDE has been used

successfully to teach CS0 and CS1 students Java and C concepts and software

engineering best practices, specically Test Driven Development. Previous Web-

IDE development has concentrated on developing functionality. The main goal

of this eort is to improve two non-functional aspects of WebIDE. The rst is to

design a more delightful user interface. The second is to add a scoring mecha-

nism that encourages students to develop best practices. The scoring mechanism

rewards students who answer the question correctly on the rst attempt, dis-

couraging them from spamming the …

Spoons: Netflix Outage Detection Using Microtext Classification, Eriq A. Augusitne

Master's Theses

Every week there are over a billion new posts to Twitter services and many of those messages contain feedback to companies about their services. One company that recognizes this unused source of information is Netflix. That is why Netflix initiated the development of a system that lets them respond to the millions of Twitter and Netflix users that are acting as sensors and reporting all types of user visible outages. This system enhances the feedback loop between Netflix and its customers by increasing the amount of customer feedback that Netflix receives and reducing the time it takes for Netflix to …