Abstract:
We present how we integrated partial evaluation and restricted design spaces in an experimental kernel for embedded systems as well as some measurements of the resulting performance. The kernel has been developed with flexibility in mind, we use restricted design spaces to manage its variability and partial evaluation to make it efficient for particular requirements.

Vladimir Támara Patiño
Universität Kaiserslautern
Fachbereich Informatik. AG Madlener
Postfach 3049
67653 Kaiserslautern, Germany