Dissertation Defenses

Scalable Algorithms for Boolean Satisfiability Enabled by Problem Structure

Power Efficient Transmission Protocols for Wireless Networks

Piecewise Linear Homeomorphisms for Approximatiion of Invertible Maps

Design, Implementation and Use of the MIRV Experimental Compiler for Computer Architecture Research

An Integrated Approach to OLAP Optimization

Validating Complex Agent Behavior

Model-Based System Management for Multi-Tiered Servers

Methods for Efficient Storage and Indexing in XML Databases

Statistical Steganalyis

Construction of Signal-Dependent Cohen’s Class Time-Frequency Representations Using Iterative Blind

Network Orient Controls of Internet Services

Countering DDoS Attacks

Reference Tracking in Feedback Control with Saturating Actuators

Hardware/Software Mechanisms for More Efficient Resource Utilization on VLIW/EPIC Processors

Reducing Load Latency through Memory Instruction Characterization

DB Seminar

DLS Speaker

Modelling Error in Query-by-Humming Applications

Measurement and Analysis of Routing Protocol Behavior on Production Networks

Neural Mechanisms for Cognitive Control in Complex Cognition