Project Home Project Partners Publications Deliverables Bibliography Events Resources Interactive Analysis Internal Pages

Open Workshop in Budapest, 7 September 2006

Agenda

10.00-10.30	EmBounded overview and Hume introduction
	Kevin Hammond
10.30-11.15	Hume programming and transformations
	Greg Michaelson/Robert Pointon
11.15-11.30	Coffee Break
11.30-12.45	Programming practical
	Greg Michaelson/Robert Pointon
12.45-13.45	Lunch
13.45-14.30	Cost modelling + practical
	Hans Wolfgang Loidl/Steffen Jost/Reinhold Heckmann
14.30-15.15	Cost modelling practical
	Hans Wolfgang Loidl/Steffen Jost/Reinhold Heckmann
15.15-15.30	Coffee break
15.30-16.15	Applications
	Norman Scaife/Jocelyn Sérot

Slides

EmBounded: Automatic Prediction of Resource Bounds for Embedded Systems (6.1M bytes, PDF)
Programming in Hume (555K bytes, PDF)
WCET Analysis (1.0M bytes, PDF)
Analysing Hume (955K bytes, PDF)
Analysing Hume - Practical (1.0M bytes, PDF)
Heap Space Analysis of Hume Programs (126K bytes, PDF)
Realtime Applications: Vision and Control in Hume (418K bytes, PDF)

[Back to top of this page]

This page was last modified on Wednesday 27 September 2006 17:27:28. This site is maintained by Robert Rothenberg (r r at cs dot st - andrews dot ac dot uk).