Hardware-Accelerated Formal Verification
by Prof. Masahiro FujitaVLSI Design and Education Center University of Tokyo, Tokyo, Japan McDonnell Douglas Auditorium, University of California, Irvine Distinguished Lecture, April 29, 2008 Abstract
949-824-9127
Loading view.
Seminars at CECS
SystemCoDesigner: Automatic Design Space Exploration and Rapid Prototyping from Behavioral Models
Prof. Christian Haubelt, University of Erlangen-Nuremberg, GermanyEngineering Tower (ET) 331, University of California, Irvine, University of California, Irvine
June 13, 2008
Geppeto*: Consumer’s Approach to Programming
Prof. Sinisa Srbljic, School of Electrical Engineering and Computing, University of Zagreb, CroatiaNovember 4, 2008 Abstract
My Work and My Life
by Prof. Leonard KleinrockDepartment of Computer Science University of California, Los Angeles McDonnell Douglas Auditorium Distinguished Lecture, November 19, 2008 Abstract
Nonlinear Symbolic Program Analysis for Increased Parallelization
Prof. Kleanthis Psarris, Department of Computer Science, University of Texas at San Antonio, TXMarch 9, 2009
Ultra Low-Power VLSI through Co-Optimization of Architecture and Circuit-Level Design
Dr. Hiroshi Nakamura, University of Tokyo, JapanMay 4, 2009 (Lecture Cancelled)
Compiler-enabled Power-efficient Register File Protection
by Dr. Jongeun LeeEECS, Ulsan National Institute of Science and Technology,Korea
Donald Bren Hall (DBH) 3011 Date & Time
Seminar, July 22, 2009
Portable Direct Methanol Fuel Cell System for Green Computing
by Dr. Naehyuck ChangSeoul National University
CalIT2 Room 3008
Seminar, August 5, 2009
Power Efficient and Fault Tolerant Circuits and Systems Using Commodity FPGA
Prof. Lei He, Electrical Engineering Department, UCLAOctober 9. 2009
Ultra Low-Power VLSI through Co-Optimization of Architecture and Circuit-Level Design
Dr. Hiroshi Nakamura, University of Tokyo, JapanOctober 19, 2009
A Virtualization-Based Software Architecture for Real-Time Embedded Systems
Dr. Sung-Soo Lim, Kookmin University, KoreaOctober 22, 2009
NEC’s Manycore Platforms for Low-Power Embedded System
Naoki Nishi GM, NEC Central Research Labs, JapanNovember 12, 2009