Classes in Spring 2007
CSE 5381/7381  Computer Architecture
CSE 8389  Foundations of Formal Verification and Validation

 

Classes in Fall 2006
CSE 2353  Discrete Structures
CSE 4381  Digital Computer Design

Upcoming Deadlines
Oct 1st,  ARCS 2007
Oct  6th,  TACAS-2007
Oct  15th,  Arith-18
Oct 23rd,  ISQED
Nov  10th,  ISCA-34
Nov  10th,  GLSVLSI-07
Nov  20th,  DAC-44
Dec  15th,  ISVLSI-07

 

Program/Organizing Committees: IEEE Arith, IEEE ICCD, IEEE SCOPES,  

Links:   Faculty, Computer Science and Engineering, School of Engineering, SMU.