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
12 events found.
Events
-
-
-
-
ESE: Embedded System Environment
Release Date: March 28, 2008Web Site: https://www.cecs.uci.edu/~ese/ ESE is a toolset for modeling, synthesis and validation of multi-processor embedded system designs. It builds on over 15 years of research in system level design at CECS under Prof. Daniel Gajski. It consists of two parts: ESE Front End and ESE Back End. ESE Front End provides automatic generation of SystemC transaction […]
-
On Numerical Modeling of Large Strain Elastoplastic Structural Responses
By Jurica Sori?Institute of Applied Mechanics Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Croatia McDonnell Douglas Auditorium, University of California, Irvine Distinguished Lecture, Mar 24, 2008 Abstract
-
Tiptoe: A Compositional Real-Time Operating System
Prof. Christoph Kirsch, Dept. of Computer Sciences, University of SalzburgDonald Bren Hall (DBH) 3011, University of California, Irvine March 06, 2008 Abstract
-
Analysis and Optimization of Transaction Level Models for Multi-Processor System-on-Chip Design
by Gunar Schirner, University of California, IrvineMarch 3, 2008
-
-
Opportunities for Power and Performance Optimization in Digital Feedback-Controllers
By Prof. Forrest Brewer, Deptment of Electrical & Computer EngineeringUniversity of California, Santa Barbara Engineering Gateway, Room 3161, University of California, Irvine Lecture, Jan 10, 2008 Abstract
-
-
Passive Supply Voltage And Frequencey Scaling (PVS)
By Prof. Naehyuck Chang, EECS Department, Seoul National UniversityBren Hall Room. 3011, Unversity of California, Irvine Lecture, Dec 29, 2007 Abstract
-
Synthesis and Optimization of Low-Power Custom NISC Processors
by Bita Gorjiara, University of California, IrvineDecember 6, 2007
-
-
CECS Faculty-Students Gathering 2007
Faculty and students mingle at the 2007 CECS Student-Faculty Gathering, held in our new office at 2010 Anteater Instruction Research Building (AIRB).
-
Gabor Madl wins prestigious ACM Award
Gabor Madl, a CECS graduate student pursuing a PhD in Computer Science, received the 2008 ACM SIGBED/SIGSOFT Frank Anger Memorial Award at the 2007 Embedded Systems Week Conference held in Salzburg, Austria. This award recognizes one student researcher from each of the professional societies (ACM SIGBED and ACM SIGSOFT), promoting the crossover of ideas between […]
-
-
Software Architecture for High Data Rate Wireless Body Sensor Applications
by Seung-Mok Yoo, University of California, IrvineSeptember 20, 2007
-
No-Instruction-Set-Computer (NISC) Modeling and Compilation Abstract
by Mehrdad Reshadi, University of California, IrvineSeptember 18, 2007