"PIE: Programmable Internet Environment"
Professor Sinisa Srbljic, University of Zagreb, Croatia
McDonnell Douglas Auditorium, University of California, Irvine
November 15, 2005
Abstract :: Pictures

"Cutpoints for Formal Equivalence Verification of Embedded Software"
Professor Alan J. Hu, University of British Columbia
CS Room 432, University of California, Irvine, CA
Colloquium, June 17, 2005
Abstract

Practical Considerations for Power-Aware Real-Time Scheduling
by Dr. Bruce Childers, University of Pittsburgh, Department of Computer Science
May 13, 2005
Abstract