Documentation

UW Connect

Topic “Ph.D. Preliminary Exam”

From Machine-Code Verification to Satisfiability Modulo Abstraction

Event Date:
Thursday, April 25, 2013 - 10:00am - 12:00pm (ended)

Parallel Execution of Ordered Programs on Muliprocessors

Event Date:
Thursday, March 7, 2013 - 1:00pm - 3:00pm (ended)

Coordinated Resource Management for Power-Performance Efficiency

Event Date:
Tuesday, February 19, 2013 - 1:00pm - 3:00pm (ended)

Matching Temporal Records

Event Date:
Friday, January 25, 2013 - 11:00am - 1:00pm (ended)

Resource Management Schemes in OFDMA Networks

Event Date:
Thursday, December 13, 2012 - 10:00am - 12:00pm (ended)

Architecture and Circuit Techniques for Power-efficient Multicore Processors

Event Date:
Friday, December 7, 2012 - 9:00am - 11:00am (ended)

Energy-Optimized Memory Hierarchies in Multi-Core Processors

Event Date:
Friday, December 14, 2012 - 10:30am - 12:30pm (ended)

Efficient Learning of Statistical Relational Models

Event Date:
Monday, November 19, 2012 - 9:30am - 11:30am (ended)