Slide 1Interfaces for Control Components Rajeev Alur University of Pennsylvania Joint work with Gera Weiss (and many others) Slide 2 Interface-based Control Design Interface:…
1. Cairo Graphics Kit (a.k.a CGK) ESUG 2011 Chris Thorgrimsson 08/24/2011Copyright Lam Research Corporation 2. Background Who am I ? Chris Thorgrimsson Senior Staff Software…