Colloquia: Fei Xie/Portland State University Component-Based Hardware/Software Co-Verification in ACES 2.402
There is a signup schedule for this event. Sp
eaker Name/Affiliation: Fei Xie Computer Sciences - Portland State Univers
Date/Time: September 29 2006 at 11:00 a.m.
Coffee: 10:45 a.m.
Location: ACES 2.402
Host: James C. Browne
Title: Component-Based Ha
Construction of highly
trustworthy embedded systems requires
extensive verification. Power an
d performance constraints
of embedded systems require that hardware and
closely interact and trade-offs between hardware and
be effectively exploited. This demands hardware/software
HW/SW) co-design and thus HW/SW co-verification.
ei Xie is an assistant professor in the Department of Computer
t Portland State University. He received his Ph.D.
in computer science
from the University of Texas at Austin in
2004. His research interests
are primarily in the areas of software
engineering formal methods and
embedded systems. He is particularly
interested in development of form
al method based techniques and tools.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct