9th JTRES 2011: York, UK

Resource sharing

Analysis and synthesis techniques

Memory management

Real-time programming constructs

Case studies

Lean machines

a service of Schloss Dagstuhl - Leibniz Center for Informatics