6.245/Spring 2008 Lecture Notes