Recent Dissertations at the University of Virginia

Department of Computer Science

Hints for converting from FrameMaker to postscript, PDF and HTML. Contributed by Anand Natrajan.

For those of you who use LaTeX, David Coppit has pulled together a dissertation template. The template, as well links to the Engineering School requirements, etc., can be found here.

2002-01
Network-Aided Concurrency Control in Distributed Databases
Rashmi Srinivasa, January 2002
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF
Abstract

2002-02
Anytime Replanning Using Local Subplan Replacement
Gabriel J. Ferrer, May 2002
Advisor: Worthy N. Martin
Online Formats: PostScript, PDF
Abstract

2002-03
Auction-Based Routing for Field-Programmable Gate Arrays
Sean McCulloch, May 2002
Advisor: James P. Cohoon
Online Formats: PostScript, PDF
Abstract

2001-01
A Security Architecture for Survivable Systems
Chenxi Wang, January 2001
Advisors: John Knight and William Wulf
Online Formats: PostScript, PDF
Abstract

2001-02
Database Selection in Distributed Information Retrieval: A Study of Multi-Collection Information Retrieval
Allison L. Powell, January 2001
Advisor: James C. French
Online Formats: PostScript, PDF
Abstract

2001-03
Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems
John Regehr, May 2001
Advisor: John A. Stankovic
Online Formats: PostScript, PDF
Abstract

2001-04
Caches As Filters: A Framework for the Analysis of Caching Systems
Dee A. B. Weikle, May 2001
Advisor: Dr. William Wulf
Online Formats: PostScript, PDF
Abstract

2001-05
Fault Tolerance in Critical Information Systems
Matthew C. Elder, May 2001
Advisor: John C. Knight
Online Formats: PostScript, PDF
Abstract

2001-06
Feedback Control Real-Time Scheduling
Chenyang Lu, May 2001
Advisor: John A. Stankovic
Online Formats: PostScript, PDF
Abstract

2000-01
Consistency Maintenance in Concurrent Representations
Anand Natrajan, January 2000
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF, HTML
Abstract

2000-02
CSDL: Reusable Computing System Descriptions for Retargetable Systems Software
Mark W. Bailey, May 2000
Advisor: Jack W. Davidson
Online Formats: PDF
Abstract

2000-03
Algorithmic and Theoretical Problems Related to the Physical Design of Three Dimensional Field Programmable Gate Arrays
John E. Karro, August 2000
Advisor: James Cohoon
Online Formats: PostScript, PDF
Abstract

2000-04
Dynamically Configurable Distributed Objects
Michael J. Lewis, May 2000
Advisor: Andrew S. Grimshaw
Online Formats: PostScript, PDF
Abstract

2000-05
Integrating Fault-Tolerance Techniques in Grid Applications
Anh Nguyen-Tuong, August 2000
Advisor: Andrew S. Grimshaw
Online Formats: PostScript, PDF
Abstract

2000-06
Custom embedded counterflow pipelines
Bruce R. Childers, January 2000
Advisor: Jack W. Davidson
Online Formats: PostScript, PDF
Abstract

1999-01
New Approaches for Analyzing Biological Sequences
Tongtong Zhang, January 1999
Advisors: Gabriel Robins and William Pearson
Online Formats: PostScript, PDF
Abstract

1999-02
Design of Representation Systems for Autonomous Agents
Glenn Wasson, August 1999
Advisor: Worthy Martin
Online Formats: PostScript, PDF
Abstract

1998-01
Parallel Set Operations in Complex Object-Oriented Database Queries
Russell F. Haddleton, January, 1998
Advisor: John L. Pfaltz
Online Formats: PostScript, PDF
Abstract

1998-02
Process State Capture and Recovery in High-Performance Heterogeneous Distributed systems
Adam John Ferrari, January, 1998
Advisor: Andrew Grimshaw
Online Formats: PostScript,
PDF
Abstract

1998-03
Practical Computer Security Analysis
Darrell M. Kienzle, January, 1998
Advisor: Bill Wulf
Online Formats: PostScript, PDF
Abstract

1998-04
Logical Time Coherence Maintenance
Bronis R. de Supinski, May, 1998
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF
Abstract

1998-05
Efficient Data Distribution in Large-Scale Multicast Networks
Matthew Thomas Lucas, May, 1998
Advisor: Alfred Weaver
Online Formats: PostScript, PDF
Abstract

1998-06
Spanning Trees in Hypergraphs with Applications to Steiner Trees
David Michael Warme, May, 1998
Advisor: Jeffrey S. Salowe
Online Formats: PostScript, PDF
Abstract

1998-07
Alice: Interactive 3D Scripting for Novices
Matthew J. Conway, May, 1998
Advisor: Randy Pausch
Online Formats: PostScript, PDF, tar file (3 PDF files)
Abstract

1997-01
Haptic Issues for Virtual Manipulation
Ken Hinckley, January 1997
Advisor: Randy Pausch
Online Formats: PostScript, PDF
Abstract

1997-02
SOR as a Preconditioner
Mike DeLong, May 1997
Advisor: J. M. Ortega
Online Formats: PostScript, PDF
Abstract

1997-03
Selection of Distance Metrics and Feature Subsets for k-Nearest Neighbor Classifiers
Allen L. Barker, May 1997
Advisor: Worthy N. Martin and Donald E. Brown
Online Formats: PostScript, PDF
Abstract

1997-04
A Method For Examining Cryptographic Protocols
Brett C. Tjaden, May 1997
Advisor: William A. Wulf
Online Formats: PostScript, PDF
Abstract

1996-01
Perception-Based Time Critical Rendering
Rich Gossweiler, January 1996
Advisor: Randy Pausch
Online Formats: Other, PDF
Abstract

1996-02
A Formal Semantics For Evaluating Cryptographic Protocols
Alec F. Yasinsac, January 1996
Advisor: William A. Wulf
Online Formats: PostScript, PDF
Abstract

1996-03
Specification and Verification of Security Policies
Ramesh V Peri, January 1996
Advisor: William A. Wulf
Online Formats: PostScript, PDF
Abstract

1996-04
Representation of Local Space in Perception/Action Systems: Behaving Appropriately in Difficult Situations
Frank Z. Brill III, January 1996
Advisors: Worthy N. Martin and Thomas J. Olson
Online Formats: PostScript, PDF
Abstract

1996-05
Maintaining Retrieval Effectiveness in Distributed, Dynamic Information Retrieval Systems
Charles L. Viles, May 1996
Advisor: James C. French
Online Formats: PostScript, PDF
Abstract

1996-06
On the Acceleration of Simulated Annealing
James M. Varanelli, May 1996
Advisor: James P. Cohoon
Online Formats: PostScript, PDF
Abstract

1996-07
Multimedia Networks with Deterministic Quality-of-Service Guarantees
Dallas E. Wrege, August 1996
Advisor: Jorg Liebeherr
Online Formats: PostScript, PDF
Abstract

1996-08
Data-Specific Optimizations
Sanjay Jinturkar, May 1996
Advisor: Jack W. Davidson
Online Formats: PostScript, PDF
Abstract

1995-01
Integrating Operational Specification with Performance Modeling for Digital-System Design
Ambar Sarkar, May 1995
Advisor: James P. Cohoon and Ronald Waxman
Online Formats: PostScript, PDF
Abstract

1995-02
Predictability and Consistency in Real-Time Transaction Processing
Young-Kuk Kim, May 1995
Advisor: Sang H. Son
Online Formats: PostScript, PDF
Abstract

1995-03
Geometric Interconnection and Placement Algorithms
Joseph L. Ganley, May 1995
Advisor: James P. Cohoon
Online Formats: PostScript, PDF
Abstract

1995-04
Safety Kernel Enforcement of Software Safety Policies
Kevin G. Wika, May 1995
Advisor: John C. Knight
Online Formats: PostScript, PDF
Abstract

1995-05
Maximizing Memory Bandwidth for Streamed Computations
Sally A. McKee, May 1995
Advisor: William A. Wulf
Online Formats: PostScript, PDF
Abstract

1995-06
Scheduling Parallel Computations in a Heterogeneous Environment
Jon B. Weissman, August 1995
Advisor: Andrew S. Grimshaw
Online Formats: PostScript, PDF
Abstract

1995-07
NPSI Adaptive Synchronization Algorithms for Parallel Discrete Event Simulation
Sudhir Srivinasan, August 1995
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF
Abstract

1994-01
Concurrency Control Algorithms for Real-Time Database Systems
Juhnyoung Lee, January 1994
Advisor: Sang H. Son
Online Formats: PDF, Other
Abstract

1994-02
The Design and Analysis of Scheduling Algorithms for Real-time and Fault-tolerant Computer Systems
Yingfeng Oh, May 1994
Advisor: Sang H. Son
Online Formats: PostScript, PDF
Abstract

1994-03
Retransmission-Based Error Control for Continuous Media Traffic in Packet-Switched Networks
Bert J. Dempsey, May 1994
Advisor: Alfred C. Weaver
Online Formats: PostScript, PDF
Abstract

1994-04
Register Allocation and Phase Interactions in Retargetable Optimizing Compilers
Manuel Enrique Benitez, May 1994
Advisor: Jack W. Davidson
Abstract
Online Formats: PostScript, PDF

1994-05
Reduction Operations in Parallel Discrete Event Simulation
Carmen Marie Pancerella, May 1994
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF
Abstract

1993-01
Concurrency Control in Asynchronous Computations
Craig Williams, January 1993
Advisor: Paul F. Reynolds, Jr.
Online Formats: PostScript, PDF
Abstract

1992-01
Function-Driven Scheduling: A General Framework for Expression and Analysis of Scheduling
W. Timothy Strayer, May 1992
Advisor: Alfred C. Weaver
Online Formats: PostScript, PDF
Abstract

Last modified: Fri Jun 22 16:02:24 2001