Dissertation Defenses

XML Query Evaluation

Statistical Static Timing Analysis and Circuit Optimization

Hebbian Networks for Averting the Problem of Catastrophic Interference

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

Virtual Global Communications

Ultrafast Short Wavelength Radiation from Laser Accelerated Electrons

Formal Specification and Verification of Reconfigurable Hybrid Systems

Using Predictions for Planning and Modeling in Stochastic Environments

Analysis and Minimization of Leakage Current

Fault Tolerance in Mobile Embedded Computer Networks

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

Gate-Level Techniques for Low Power and Reliable Circuit Design

Natural Language Relations: Classifications and Application

Efficient Methods for Solving the Multiagent Plan Coordination Problem

Generating Trading Agent Strategies

Algorithms for Constraint-based Temporal Reasoning with Preferences

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

Model-Based Quality of Service Control

Architectural Optimization for Performance- and Energy-Constrained Sensor Processors

Integrated System Architectures for High-Performance Internet Servers

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