Theses/Dissertations from 2010
An Automata-Theoretic Approach to Hardware/Software Co-verification, Juncao Li (Dissertation)
Practical Type Inference for the GADT Type System, Chuan-kai Lin (Dissertation)
Scalable event tracking on high-end parallel systems, Kathryn Marie Mohror (Dissertation)
Performance Analysis of Hybrid CPU/GPU Environments, Michael Shawn Smith (Thesis)
Theses/Dissertations from 2009
Computational Techniques for Reducing Spectra of the Giant Planets in Our Solar System, Holly L. Grimes (Thesis)
Programmer Friendly Refactoring Tools, Emerson Murphy-Hill (Dissertation)
A Framework for Superimposed Applications : Techniques to Represent, Access, Transform, and Interchange Bi-level Information, Sudarshan Srivivasa Murthy (Dissertation)
Theses/Dissertations from 2008
Window Queries Over Data Streams, Jin Li (Dissertation)
Irrelevance, Polymorphism, and Erasure in Type Theory, Richard Nathan Mishra-Linger (Dissertation)
Semantic Components: A Model for Enhancing Retrieval of Domain- Specific Information, Susan Loucette Price (Dissertation)
Graphical User Interfaces as Updatable Views, James Felger Terwilliger (Dissertation)
Theses/Dissertations from 2007
Goal-Oriented Job Scheduling for Parallel Computer Systems, Sangsuree Vasupongayya (Dissertation)
Theses/Dissertations from 2006
Addressing Cheating and Workload Characterization in Online Games, Christopher Chambers (Dissertation)
Gridfields: Model-Driven Data Transformation in the Physical Sciences, Bill Howe (Dissertation)
Efficient Support for Application-Specific Video Adaptation, Jie Huang (Dissertation)
Analysis of Relay-based Cellular Systems, Ansuya Negi (Dissertation)
Theses/Dissertations from 2004
PPerfGrid: A Grid Services-Based Tool for the Exchange of Heterogeneous Parallel Performance Data, John Jared Hoffman (Thesis)
TeaBag: A Debugger for Curry, Stephen Lee Johnson (Thesis)
Infrastructure For Performance Tuning MPI Applications, Kathryn Marie Mohror (Thesis)
Theses/Dissertations from 2002
Querying Geographically Dispersed, Heterogeneous Data Stores: The PPerfXchange Approach, Matthew Edward Colgrove (Thesis)
Content Aware Request Distribution for High Performance Web Service: A Performance Study, Robert M. Jones (Thesis)
A Performance Study of LAM and MPICH on an SMP Cluster, Brian Patrick Kearns (Thesis)
Theses/Dissertations from 2001
Towards Comparative Profiling of Parallel Applications with PPerfDB, Christian Leland Hansen (Thesis)
Theses/Dissertations from 1998
Usability of Visual Basic for Parallel Programming on Windows NT, James Scott Barker (Thesis)
Specification-Driven Optimization, Sheena Day (Thesis)
Theses/Dissertations from 1997
Materialized View Algorithms, Yubo Fan (Thesis)
Theses/Dissertations from 1996
Needed Narrowing as the Computational Strategy of Evaluable Functions in an Extension of Goedel, Bobbi J. Barry (Thesis)
A Policy-Independent Secure X Server, Kirk Joseph Bittler (Thesis)
Contention-free Scheduling of Communication Induced by Array Operations on 2D Meshes, Andreas Bernhard Georg Eberhart (Thesis)
Abstract Index Interfaces, Muralidharan Janakiraman (Thesis)
Effective and Appropriate Use of Controlled Experimentation in Software Development Research, Mark Alan Johnson (Thesis)
Compiling Evaluable Functions in the Gödel Programming Language, David Shapiro (Thesis)
Theses/Dissertations from 1995
The Parser Converter Loader: An Implementation of the Computational Chemistry Output Language (CCOL), Donald Randall Abel (Thesis)
Weakest Pre-Condition and Data Flow Testing, Griffin David McClellan (Thesis)
PSUsort: A Parallel External Sort for a Shared Memory Multiprocessor System, Sujata V. Ramamoorthy (Thesis)
Evaluable Functions in the Gödel Programming Language: Parsing and Representing Rewrite Rules, Janet Vorvick (Thesis)
Theses/Dissertations from 1994
Logging Subsystem Performance: Model and Evaluation, Thomas K. Clark (Thesis)
Theses/Dissertations from 1993
Comprehension of Literate Programs by Novice and Intermediate Programmers, Christopher Forrest Bertholf (Thesis)
Difficulties Experienced Procedural Programmers Encounter When Transferring to an Object-oriented Programming Paradigm, Scott Andrew MacHaffie (Thesis)
A Cognitively Motivated System for Software Component Reuse, Michael Joseph Mateas (Thesis)
Data Dependence in Programs Involving Indexed Variables, Borislav Nikolik (Thesis)
Theses/Dissertations from 1992
Compiling ACE for Distributed-Memory Machines, Jun Song (Thesis)
Theses/Dissertations from 1990
Performance analysis of a distributed file system, Meenakshi Mukhopadhyay (Thesis)