xTune: A Formal Methodology for Cross-layer Tuning
of Mobile Real-time Embedded Systems
[Home]
[People] [News] [Publications] [Sponsors] [Links]
CECS eNews
http://www.cecs.uci.edu/ene_2008.htm
ICS Noteworthy Achievements
http://www.ics.uci.edu/community/news/notes/notes_2007.php