Meetings will be held Mondays, 4PM in Levine 612.
Spring 2011 Presentation Schedule
- January 24 - Andrew King - Survey of Distributed RT architectures and communication patterns [Kopetz-TTA] [RushbySurvey1] [RushbySurvey2]
- January 31st - Sanjian Chen - Holistic Scheduling - [Pop-holistic][Tindell-holistic]
- Feburary 7th - Alex Roederer - Suppression and failures in sensor networks: a Bayesian approach - [silberstein-suppress]
- Feburary 14th - Baek-Gyu Kim - Runtime Verification [luecker-briefaccount] [Larsen-TUPAAL]
- Feburary 21st - Madhur Behl - Green Scheduling - [nghiem-green]
- Feburary 28th - Miroslav Pajic - Scheduling and Control [cervin-feedback] [arzen-codesign]
- March 14th - Vincent Wang - Time-centric Models For Designing Embedded Cyber-physical Systems
- [edison-ptides]
- March 21st - Ashutosh Trivedi - Expected Reachability Time Games
- [paper]
- April 4th - Anaheed Ayoub - Automatic Code Generation from Verified Timed Automata
- [paper]
- April 11th - Jaewoo Lee - Compositional Scheduling
- [paper]
- April 18th - Zhuoyao Zhang - FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads
- [paper]
- April 25th - Alex Gurney - Algebraic Routing
- [paper]
- May 2nd - Shan Lin - Burstiness and Latency in Wireless Networks
- [paper]
- May 9th - Oleg Sokolsky - Code generation in Ocarina
- [paper]
