Cutpoints for Formal Equivalence Verification of Embedded Software
Professor Alan J. Hu, University of British ColumbiaCS Room 432, University of California, Irvine, CA
Colloquium, June 17, 2005
949-824-9127
Loading view.
CECS Potluck Party
Professor Givargis organized an enjoyable CECS potluck for October.
PIE: Programmable Internet Environment
Professor Sinisa Srbljic, University of Zagreb, CroatiaMcDonnell Douglas Auditorium, University of California, Irvine
November 15, 2005
Cache Power-Performance Optimization
by Dan Nicolaescu, University of California, IrvineDecember 2, 2005
Functional Verification of System Level Model Refinements
by Samar Abdi, University of California, IrvineDecember 2, 2005
Sudeep Pasricha and Professor Nikil Dutt Receive Best Paper Award
Graduate student Sudeep Pasricha and Professor Nikil Dutt, proudly receive their Best Paper Award at the Asia and South Pacific Design Automation Conference 2006 (ASPDAC 2006) which took place in Yokohama, Japan on January 24, 2006. Their award winning technical paper is entitled "Constraint-driven Bus Matrix Synthesis for MPSoC."
Compiler-in-the-Loop Exploration of Programmable Embedded Systems
by Aviral Shrivastava, University of California, IrvineFebruary 1, 2006
Professor Daniel Gajski Receives Honorary Doctorate
Professor Daniel Gajski has been presented with an Honorary Doctorate from the University of Oldenburg, Germany in recognition of his contributions in the areas of Embedded Systems and Design Science.
Kilo-Instruction Processors: Overcoming the Memory Wall
Professor Mateo Valero, Polytechnical University of Catalunia, Catalunia, SpainComputer Science 432, University of California, Irvine, CA
Distinguished Lecture, February 16, 2006
Acceleration beyond Memory Barriers in IS-extensible Processors
by Partha Biswas, University of California, IrvineMarch 2, 2006
Dr. Gajski’s Honorary Doctrine Celebration
Professor Alex Veidenbaum hosted the reception for Dr. Gajski's honorary doctrine celebration.