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 |
|