Theses/Dissertations from 2012
Towards Confident Body Sensor Networking, Zhen Ren
An input centric paradigm for program dynamic optimizations and lifetime evolvement, Kai Tian
Discovering New Vulnerabilities in Computer Systems, Zhenyu Wu
Locality Enhancement and Dynamic Optimizations on Multi-Core and GPU, Zheng Zhang
Theses/Dissertations from 2011
Treatment of Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU, Ziyu Guo
Analysis and Approximation of Optimal Co-Scheduling on CMP, Yunlian Jiang
Effective Large Scale Computing Software for Parallel Mesh Generation, andriy Kot
On the Real-Time Performance, Robustness and Accuracy of Medical Image Non-Rigid Registration, Yixun Liu
Theses/Dissertations from 2010
An interoperable and secure architecture for internet-scale decentralized personal communication, David Alan Bryan
Application of information theory and statistical learning to anomaly detection, Steven Gianvecchio
Adaptive learning and cryptography, David Goldenberg
Supporting feature-level software maintenance, Meghan Kathleen Revelle
Building efficient wireless infrastructures for pervasive computing environments, Bo Sheng
Secure and efficient data extraction for ubiquitous computing applications, Chiu Chiang Tan
Multimodal Non-Rigid Registration for Image-Guided Head and Neck Surgery, Michael Lawrence Weissberger
Towards secure message systems, Mengjun Xie
Enhancing Web Browsing Security, Chuan Yue
Theses/Dissertations from 2009
Enabling technology for non-rigid registration during image-guided neurosurgery, andriy Yuri Fedorov
Dependence-driven techniques in system design, Ningfang Mi
A privacy preserving framework for cyber-physical systems and its integration in real world applications, Haodong Wang
Malware detection and analysis via layered annotative execution, Heng Yin
Theses/Dissertations from 2008
Formal analysis of firewall policies, Robert Mathias Marmorstein
Automatically Generating Random Test Data for Relevant and Implicitly Defined Subdomains, John Alexander Murphy
Parallel Unstructured Grid Generation for Complex Real-World Aerodynamic Simulations, George Zagaris
Theses/Dissertations from 2007
Parallel generalized Delaunay mesh refinement, andrey Nikolayevich Chernikov
Tweakable Blockciphers Secure Against Generic Exponential Attacks, Elizabeth Ann Crump
Forward Secure Fuzzy Extractors, David Goldenberg
Decoupling method for parallel Delaunay two-dimensional mesh generation, Leonidas Linardakis
Toward a robust and efficient iterative eigensolver, James Robert McCombs
A New Packet Filter: Fast Packet Filtering by Exploiting CISC and SIMD ISA, Zhenyu Wu
Theses/Dissertations from 2006
Passive available bandwidth: Applying self -induced congestion analysis of application-generated traffic, Marcia Zangrilli Bryan
Real -time Retinex image enhancement: Algorithm and architecture optimizations, Glenn Derrick Hines
Theses/Dissertations from 2005
Techniques of data prefetching, replication, and consistency in the Internet, Xin Chen
Data broadcast scheduling: Models, algorithms, and analysis, Aaron Thomas Hawkins
Markov Chain Modeling for Multi-Server Clusters, Zhili Hua
An Investigation of Programmer-Identified Concerns, Meghan Kathleen Revelle
Factory: A n Object-Oriented Parallel Programming Substrate for Deep Multiprocessors, Scott Arthur Schneider
Theses/Dissertations from 2004
Runtime support for load balancing of parallel adaptive and irregular applications, Kevin James Barker
Building Internet caching systems for streaming media delivery, Songqing Chen
Lookahead scheduling in a real-time context: Models, algorithms, and analysis, Benjamin J. Coleman
Efficient caching algorithms for memory management in computer systems, Song Jiang
Optimizing combat capabilities by modeling combat as a complex adaptive system, Steven Mains
Files as first-class objects in fault -tolerant concurrent systems, Robert Edwin Matthews
Dynamic adaptation to CPU and memory load in scientific applications, Richard Tran Mills
Structural model checking, Radu Siminiceanu
Theses/Dissertations from 2003
Location Management in a Mobile Object Runtime Environment, andriy Fedorov
Domain and type enforcement in Linux, Serge Edward Hallyn
A Parallel Two Dimensional Delaunay Decoupling Method, Leonidas Linardakis
Power considerations for memory-related microarchitecture designs, Zhichun Zhu
Theses/Dissertations from 2002
Simulation and numerical solution of stochastic Petri nets with discrete and continuous timing, Robert Linzey Jones III
Simulation techniques in an artificial society model, Barry Glenn Lawson
The fusion and integration of virtual sensors, Thomas F. Litant
Aggregate matrix-analytic techniques and their applications, Alma Riska
Adaptive and secured resource management in distributed and Internet systems, Li Xiao
Software and hardware methods for memory access latency reduction on ILP processors, Zhao Zhang
Theses/Dissertations from 2001
Virtual path bandwidth distribution and capacity allocation with bandwidth sharing, Karen Marie Anewalt
Broadcast distributed shared memory, Philip Ragner Auld
Sub-pixel techniques to improve spatial resolution, Mark Robert Idema
Theses/Dissertations from 2000
Routing and wavelength assignment in WDM optical networks, Guangzhi Li
Data structures for the analysis of large structured Markov models, andrew S. Miner
Accelerating the simulation of wireless cellular systems, Luiz Felipe Perrone
Semantic software scouts for information retrieval, John J. Rehder
An interactive simulation environment for end-to-end digital imaging system design and fidelity analysis, Moira Joyce Turner
Theses/Dissertations from 1999
Dynamic load balancing via thread migration, David Cronk
Accurate visualization of distributed system execution, Dennis Lee Edwards
Artificial Societies: A Computational Model of Disease Transmission, Nathan T. Moore
Artificial Societies: A Computational Approach to Studying Combat, Rachel J. Moore
Causal distributed assert statements, Sharon J. Simmons
Multi-image classification and compression using vector quantization, Beverly J. Thompson
Theses/Dissertations from 1998
Analysis of algorithms for online routing and scheduling in networks, Jessen Tait Havill
Improvements to the color quantization process, Rance David Necaise
Wavelet-based digital image restoration, Viviana Sandor
Exploiting cache locality at run-time, Yong Yan
Theses/Dissertations from 1997
Global state predicates in rough real-time, Jean Ann Mayo
Theses/Dissertations from 1996
Analysis of (iso)surface reconstructions: Quantitative metrics and methods, Tracey Allen Beauchat
A bipartite model of distributed systems: Possibilities and implications, Anna Karin Brunstrom
A grammar-based technique for genetic search and optimization, Clayton Matthew Johnson
Theses/Dissertations from 1995
Constrained least-squares digital image restoration, Rajeeb Hazra
Theses/Dissertations from 1994
Compilation techniques for irregular problems on parallel machines, Subhendu Das
General methods for analyzing machine learning sample complexity, Christoph Cornelius Michael
Causal synchrony in the design of distributed programs, Sandra L. Peterson
Theses/Dissertations from 1993
End-to-end analysis of hexagonal vs rectangular sampling in digital imaging systems, John Clifton Burton II
Flush communication channels: Effective implementation and verification, Tracy Kay Camp
Fourier analysis of frequency domain discrete event simulation experiments, Mousumi Mitra Hazra
An integration of case-based and model-based reasoning and its application to physical system faults, Stamos T. Karamouzis
Theses/Dissertations from 1992
Code generation using a backtracking LR parser, Laurie Anne Smith King
Design and analysis techniques for concurrent blackboard systems, John William McManus
Verification of Fault-Tolerant Clock Synchronization Systems, Paul S. Miner
Theses/Dissertations from 1991
Causal reasoning about distributed programs, William Samuel Lloyd
Error flow in computer programs, Branson Wayne Murrill
Theses/Dissertations from 1990
Data Constraints in Function-Oriented Languages, Earl Stavis Harris
Knowledge-Based System for Flight Information Management, Wendell R. Ricks
A dynamic failure model for performing propagation and infection analysis on computer programs, Jeffrey Mark Voas
Theses/Dissertations from 1989
Task-Oriented Display Design: Concept and Example, Terence S. Abbott
Interactive Simulations for Knowledge Acquisition, Sorel Bosan
Ordering Events in a Distributed System: A Performance Evaluation, Jeffrey E. Payne
Small-kernel image restoration, Stephen Edward Reichenbach
Adaptation of LR parsing to production system interpretation, Louis Paul Slothouber
Theses/Dissertations from 1988
Semantic specification using tree manipulation languages, Randall Paul Meyer
