|
Semester |
Course |
Professor(s) |
Project |
|
Fall 2007
Spring 2008
Fall 2008
Spring 2009
Fall 2009 |
EE 244—Computer Aided Design of Integrated Circuits
EE 249 —Design of Embedded Systems: Models, Validation and Synthesis
EE 219B-Logic Synthesis and Verification
MBA 290T.5/ENG 298A.4/INFO 290.8—Managing Innovation and Change
CS 262A-Advanced Topics in Computer Systems
I214 - Needs and Usability Assessment
MBA 290E/ENG 290.1 -Marketing For High-Tech Entrepreneurs
EE 290N- Concurrent Models of Computation
EE 291C– Computer-Aided Verification
Info 290-6—Managing in Information-Intensive Companies
|
Alberto L. Sangiovanni-Vincentelli
|
Mutation-based Coverage Driven Verification
Toward an Automated Mapping from A Timed Functional Specification to A Timed Architecture
Parallel SAT Sweeping
Accenture : Innovation Delivered
PtidyOS: An Operating System for the PTIDES Programming Model
Using Cellphones to Teach English as a Second Language
California High Speed Rail
C Code generation from the Giotto Model Of Computation to the PRET Architecture
TBD
TBD
|