Monday - August 25th 2008
|
| 8:30 | Introduction to synchronous programming: The data-flow language Lustre | Nicholas Halbwachs |
| 10:30 | coffee break | |
| 11:00 | Poster session and talks | |
| 12:00 | lunch | |
| 13:30 | Specification Languages for Embedded Systems | Peter Marwedel |
| 15:30 | coffee break | |
| 16:00 | Software for Embedded Systems | Lothar Thiele |
| 18:00 | closing | |
Tuesday - August 26th 2008
|
| 8:30 | The imperative languages Esterel and Synccharts | Nicholas Halbwachs |
| 10:30 | coffee break | |
| 11:00 | Poster session and talks | |
| 12:00 | lunch | |
| 13:30 | Efficiency improving transformations | Peter Marwedel |
| 15:30 | coffee break | |
| 16:00 | Scheduling Policies | Lothar Thiele |
| 18:00 | closing | |
Wednesday - August 27th 2008
|
| 8:30 | Compilation of synchronous languages | Nicholas Halbwachs |
| 10:30 | coffee break | |
| 11:00 | Poster session and talks | |
| 12:00 | lunch | |
| 13:30 | Design Space Exploration of Embedded Systems | Lothar Thiele |
| 15:30 | coffee break | |
| 16:00 | Performance Analysis of Distributed Embedded Systems | Lothar Thiele |
| 18:00 | closing | |
Thursday - August 28th 2008
|
| 8:30 | Verification and test of synchronous programs | Nicholas Halbwachs |
| 10:30 | coffee break | |
| 11:00 | Round-table discussion | |
| 12:00 | lunch | |
| 13:30 | Performance Analysis of Distributed Embedded Systems | Lothar Thiele |
| 15:30 | coffee break | |
| 16:00 | Exploitation of the Memory Hierarchy | Peter Marwedel |
| 18:00 | closing | |
Friday - August 29th 2008
|
| 8:30 | Current research trends in synchronous languages | Nicholas Halbwachs |
| 10:30 | coffee break | |
| 11:00 | Round-table discussion | |
| 12:00 | lunch | |
| 13:30 | Compiler Optimization Algorithms for Embedded Systems
| Peter Marwedel |
| 15:30 | coffee break | |
| 16:00 | Building a Compiler | Peter Marwedel |
| 18:00 | closing | |
