Dissertation Defenses

Rescuing Data Center Processors

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems

Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test

APPLICATION-SPECIFIC ARCHITECTURE FRAMEWORK FOR HIGH-PERFORMANCE LOW-POWER EMBEDDED COMPUTING

Integrated System Architectures for High-Performance Internet Servers

Architectural Optimization for Performance- and Energy-Constrained Sensor Processors

Model-Based Quality of Service Control

Systematic Observations of the Genetic Algorithm in a Changing Environment: Case Studies Using the Shaky Ladder Hyperplane Defined Functions

Algorithms for Constraint-based Temporal Reasoning with Preferences

Generating Trading Agent Strategies

Efficient Methods for Solving the Multiagent Plan Coordination Problem

Natural Language Relations: Classifications and Application

Gate-Level Techniques for Low Power and Reliable Circuit Design

UCAV Path Planning in the Presence of Radar-Guided Surface-to-Air Missile Threats

Fault Tolerance in Mobile Embedded Computer Networks

Analysis and Minimization of Leakage Current

Using Predictions for Planning and Modeling in Stochastic Environments

Formal Specification and Verification of Reconfigurable Hybrid Systems

Ultrafast Short Wavelength Radiation from Laser Accelerated Electrons

Virtual Global Communications

Electrical Characterization of A1GaN/GaN MODFET: A reliability-driven low frequency noise-based study

Hebbian Networks for Averting the Problem of Catastrophic Interference

Statistical Static Timing Analysis and Circuit Optimization

XML Query Evaluation