Slide 1 David Hitlin DOE Annual Review June 29, 2009 1 David Hitlin DOE Annual Program Review June 29, 2009 Overview of the Caltech HEP Program Slide 2 David Hitlin DOE Annual…
Slide 1 Giotto A Time-Triggered Language for Embedded Programming Thomas A. Henzinger, Benjamin Horowitz Christoph M. Kirsch, Rupak Majumdar UC Berkeley Slide 2 Embedded…