| Alumni
2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000
1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992
1995
Harm Hofstee
Synchronizing Processes
David Laidlaw
Geometric Model Extraction from Magnetic Resonance Volume Data
Tak Lee
A General Approach to Performance Analysis and Optimization of Asynchronous
Circuits
K.Rustan Leino
Toward Reliable Modular Programs
Frank Perez
Hue Segmentation, Color Circuitry, and the Mantis Shrimp
José Tierno
An Energy-Complexity Model for VLSI Computations
Marcel Goot
Semantics of VLSI Synthesis
|