|
Last change
on this file since 3157 was
3157,
checked in by mckinna, 8 years ago
|
|
Added tables with the workshop programmes indetail
|
|
File size:
942 bytes
|
| Line | |
|---|
| 1 | \begin{table}[h] |
|---|
| 2 | \centering |
|---|
| 3 | \begin{tabular}{|c|l|l|} |
|---|
| 4 | \hline |
|---|
| 5 | Time & Speaker & Title \\ |
|---|
| 6 | \hline |
|---|
| 7 | 14:00-14:30 & Claudio Sacerdoti Coen & Certified complexity: a general introduction \\ |
|---|
| 8 | |
|---|
| 9 | 14:30-15:15 & Yann Régis-Gianas & Certifying and reasoning on cost annotations \\ |
|---|
| 10 | & & \phantom{ }of C programs \\ |
|---|
| 11 | |
|---|
| 12 | 15:15-16:00 & Paolo Tranquilli & Dealing with loop optimizations and pipelines \\ |
|---|
| 13 | |
|---|
| 14 | \hline |
|---|
| 15 | 16:00-16:30 & & break \\ |
|---|
| 16 | \hline |
|---|
| 17 | |
|---|
| 18 | 16:30-17:00 & Kevin Hammond & Hume: a Functionally-based Domain Specific Language \\ |
|---|
| 19 | & (Invited talk) & \phantom{ }Targeting Real-time Embedded Systems \\ |
|---|
| 20 | |
|---|
| 21 | 17:00-17:30 & Roberto Amadio & Certifying and reasoning on cost annotations \\ |
|---|
| 22 | & & \phantom{ }of functional programs \\ |
|---|
| 23 | |
|---|
| 24 | 17:30-18:00 & Brian Campbell & A certified proof based on structured traces \\ |
|---|
| 25 | \hline |
|---|
| 26 | \end{tabular} |
|---|
| 27 | \caption{HiPEAC workshop on Certified Costs: programme 2013-01-23} |
|---|
| 28 | \label{hipeac:timetable} |
|---|
| 29 | \end{table} |
|---|
| 30 | |
|---|
| 31 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
