Computer Science Department

Doctoral Dissertations

Leonidas Lindardakis

Decoupling Method for Parallel Delaunay 2D Mesh Generation
August 2007
Advisor: Nikos Chrisochoides
Placement: VIMS

Andrey Chernikov

Parallel Generalized Delaunay Mesh Refinement
August 2007
Advisor: Nikos Chrisochoides

James R. McCombs

Towards a Robust and Efficien Iterative Eignesolver
May 2007
Advisor: Andreas Stathopoulos
Placement: SPARTA, Inc.

Marcia Zangrilli Bryan

Passive Available Bandwidth: Applying Self-Induced Congestion Analysis to Application-Generated Traffic
December 2006
Advisor: Bruce Lowekamp
Placement: SIPeerior Technologies

Qi Zhang

The Effect of Workload Dependence in Systems: Experimental Evaluation, Analytic Models, and Policy Development
December 2006
Advisor: Evgenia Smirni
Placement: Microsoft Research

Glenn D. Hines

Real-Time Refine Image Enhancement: Algorithm and Architecture Optimizations
May 2006
Advisor: Zia-ur Rahman
Placement: NASA Langley Research Center

Xin Chen

Techniques of Data Prefetching, Replication, and Consistency in Internet
May 2005
Advisor: X. Zhang
Placement: AskJeeves Inc.

Aaron T. Hawkins

Data Broadcast Scheduling: Models, Algorithms, and Analysis
May 2005
Advisor: W. Mao
Placement: Rockwell Scientific

Steven Mains

Optimizing Combat Capabilities by Modeling Combat as a Complex Adaptive System
December 2004
Advisor: S. Feyock
Placement: Col.; US Army

Richard Tran Mills

Some Mechanisms for Dynamic Adaptation to CPU and Memory Load from within Scientific Applications
December 2004
Advisor: A. Statopoulos
Placement: Oak Ridge National Laboratory

Robert Matthews

Files as First-Class Objects in Fault-Tolerant Concurrent Systems
December 2004
Advisor: P. Kearns
Placement: Truman State University

Songqing Chen

Building Internet Caching Systems for Multimedia Content Delivery
August 2004
Advisor: X. Zhang
Placement: George Mason University

Song Jiang

Efficient Caching Algorithms for Memory Management in Computer Systems
August 2004
Advisor: X. Zhang
Placement: Los Alamos National Laboratory

Benjamin J. Coleman

Lookahead Scheduling in a Real-Time Context: Models, Algorithms and Analysis
August 2004
Advisor: W. Mao
Placement: Moravian College

Kevin J. Barker

Runtime Support for Load Balancing of Parallel Adaptive and Irregular Applications
May 2004
Advisor: N. Chrisochoides
Placement: Los Alamos National Laboratory

Radu Siminiceanu

Structural Model Checking
December 2003
Advisor: G. Ciardo
Placement: National Institute of Aerospace

Serge Hallyn

Domain and Type Enforcement in Linux
December 2003
Advisor: P. Kearns
Placement: IBM Austin

Zhichun Zhu

Power Considerations for Memory-related Microarchitecture Designs
August 2003
Advisor: X. Zhang
Placement: University of Illinois at Chicago

Alma Riska

Aggregate Matrix-Analytic Techniques and their Applications
December 2002
Advisor: E. Smirni
Placement: Seagate Research

Robert Jones

Simulation and Numerical Solution of Stochastic Petri Nets with Discrete and Continuous Timing
December 2002
Advisor: G. Ciardo
Placement: ASRC Aerospace Corporation

Li Xiao

Adaptive and Secured Resource Management in Distributed and Internet Systems
August 2002
Advisor: X. Zhang
Placement: Michigan State Univ.

Zhao Zhang

Software and Hardware Methods to Reduce Memory Latency on ILP Processors
August 2002
Advisor: X. Zhang
Placement: Iowa State Univ.

Barry Lawson

Simulation Techniques in an Artificial Society Model
August 2002
Advisor: S. Park, E. Smirni
Placement: Univ. of Richmond

Tom Litant

The Fusion and Integration of Virtual Sensors
May 2002
Advisor: W. Bynum
Placement: Mitre

Mark Idema

Subpixel Techniques to Improve Spatial Resolution
December 2001
Advisor: S. Park, Z. Rahman
Placement: Maximus

Karen Marie Anewalt

Virtual Path Bandwidth Distribution and Capacity Allocation with Bandwidth Sharing
August 2001
Advisor: R. Simha
Placement: Mary Washington College

Phil Auld

Broadcast Distributed Shared Memory
May 2001
Advisor: P. Kearns
Placement: Egenera Corporation

Luiz Felipe Perrone

Rapid Simulation of Wireless Systems
December 2000
Advisor: D. Nicol
Placement: Dartmouth College

Andrew Miner

Data Structures for the Analysis of Large Structured Markov Models
August 2000
Advisor: G. Ciardo
Placement: Iowa State University

Joe Rehder

Semantic Software Scouts for Information Retrieval
May 2000
Advisor: W. Bynum
Placement: NASA Langley Research Center

Guangzhi Li

Routing and Wavelength Assignment in WDM Optical Networks
May 2000
Advisor: R. Simha
Placement: AT&T Research

Moira Turner

An Interactive Simulation Environment for End-to-End Digital Imaging Systems Design and Fidelity Analysis
May 2000
Advisor: S. Park
Placement:

Beverly Thompson

Multi-Image Classification and Compression Using Vector Quantization
December 1999
Advisor: S. Park
Placement: Sandia National Laboratory

Dennis Edwards

Accurate Visualization of Distributed System Execution
December 1999
Advisor: P. Kearns
Placement: State University of Western Georgia

David Cronk

Dynamic Load Balancing Via Thread Migration
December 1999
Advisor: W. Bynum
Placement: University of Tennessee

Sharon Simmons

Casual Distributed Assert Statements
August 1999
Advisor: P. Kearns
Placement: State University of Western Georgia

Dan A. Chrisman, Jr.

Limits to Parallelism in Scientific Computing
May 1999.
Advisor: D. Nicol
Placement: Radford University

Rance Necaise

Improvements to the Color Quantization Process
August 1998.
Advisor: R. Prosl
Placement: Washington & Lee University

Viviana Sandor

Wavelet-Based Digital Image Restoration
August 1998.
Advisor: S. Park
Placement: Oakland University

Jessen Havill

Analysis of Algorithms for Online Routing and Scheduling in Networks
August 1998.
Advisor: W. Mao
Placement: Denison College

Yong Yan

Exploiting Cache Locality on Symmetric Multiprocessors: A Run-Time Approach
August 1998.
Advisor: X. Zhang
Placement: Hewlett-Packard Labs

Jean Mayo

Global State Predicates in Rough Real Time.
August 1997.
Advisor: P. Kearns
Placement: Michigan Tech

Tracey Beauchat

Analysis of (Iso)Surface Reconstruction: Quantitative Metrics and Methods.
August 1996.
Advisor: R. Prosl
Placement: EIOR

Clayton Matthew Johnson

A Grammar-Based Technique for Genetic Search and Optimization.
August 1996.
Advisor: S. Feyock

Anna Brunstrom

A Bipartite Model of Distributed Systems: Possibilities and Implications.
August 1996.
Advisor: P. Kearns
Placement: University of Karlstad

Rajeeb Hazra

Constrained Least-Squares Digital Image Restoration.
May 1995.
Advisor: S. Park
Placement: Intel Corp

Christoph Michael

General Methods for Analyzing Machine Learning Sample Complexity.
December 1994.
Advisor: R. Collins
Placement: RST Corp

Sandra L. Peterson

Casual Synchrony in the Design of Distributed Programs.
August 1994.
Advisor: P. Kearns
Placement: Norfolk State University

Subhendu Das

Compilation Techniques for Irregular Problems on Parallel Machines.
December 1993.
Advisor: D. Nicol
Placement: Georgia Tech

Mousumi Mitra Hazra

Fourier Analysis of Frequency Domain Discrete-Event Simulation Experiments.
December 1993.
Advisor: S. Park
Placement: Tektronics

Tracy Camp

Flush Communication Channels: Effective Implementation and Verification.
December 1993.
Advisor: P. Kearns
Placement: University of Alabama

Stamos T. Karamouzis

An Integration of Case-Based and Model-Based Reasoning and its Application to Physical System Faults.
August 1993.
Advisor: S. Feyock
Placement: University of New Orleans

John C. Burton, II

End-to-end Analysis of Hexagonal vs. Rectangular Sampling in Digital Imaging Systems.
May 1993.
Advisor: K. Miller
Placement: G&A Technical Software

Laurie Anne Smith King

Code Generation Using a Backtracking LR Parser.
August 1992.
Advisor: R. Noonan
Placement: Ithaca College

John W. McManus

Design and Analysis Techniques for Concurrent Blackboard Systems.
August 1992.
Advisor: W. Bynum
Placement: NASA Langley

Branson W. Murrill

Error Flow in Computer Programs.
August 1991.
Advisor: L. Morell
Placement: Virginia Commonwealth University

William S. Lloyd

Casual Reasoning about Distributed Programs
August 1991.
Advisor: P. Kearns
Placement: Western Georgia

Jeffrey M. Voas

A Dynamic Failure Model for Performing Propagation and Infection Analysis on Computer Programs.
May 1990.
Advisor: L. Morell
Placement: founded RST Corp

Louis P. Slothouber

Adaptation of LR Parsing to Production System Interpretation.
August 1989.
Advisor: R. Collins
Placement: University of Houston

Stephen E. Reichenbach

Small-Kernel Image Restoration.
August 1989.
Advisor: S. Park
Placement: University of Nebraska

Randall P. Meyer

Semantic Specification Using Tree Manipulation Languages.
May 1988.
Advisor: R. Noonan
Placement: Concurrent Computer Corp