PhD Qualifying Examination


"Efficient Search Techniques for Embedded Systems
Design Space Exploration and Optimization"

Mr. Mingxuan YUAN


Abstract:

I present a survey on search techniques for embedded systems design space
exploration (DSE) and optimization. The DSE problem generally considers
two orthogonal issues: 1. How can a single design point be evaluated, 2.
how can the design space be covered during the exploration process? We
focus on the 2nd problem. The search problem is often a NP-hard problem,
and exhaustive exploration of the design space is usually not feasible due
to the sheer size of the design space. We present both exact solution
techniques, e.g., model-checking, SAT, SMT, as well as stochastic
optimization techniques, e.g., simulated annealing, evolutionary
algorithms, for tackling the search problem. We use several representative
applications to illustrate how these techniques are applied, and present
possible future research directions.


Date:     		Friday, 27 July 2007

Time:                   4:00p.m.-6:00p.m.

Venue:                  Room 3501
			lifts 25-26

Committee Members:      Dr. Zonghua Gu (Supervisor)
			Dr. Shing-Chi Cheung (Chairperson)
			Dr. Qiong Luo
			Prof. Vincent Shen


**** ALL are Welcome ****