RTG Reading Group
Recent Changes - Search:

Projects

-- Forum





PmWiki

pmwiki.org

edit SideBar

MeetingsSpring2011

Meetings were held on Mondays at 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]
Edit - History - Print - Recent Changes - Search
Page last modified on June 29, 2014, at 12:44 PM