2007-07-05: WCET'2007 presentation available

Niklas Holsti of Tidorum Ltd presented a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.

The presentation slides are now available in PDF or in OpenOffice.org source form, in addition to the abstract and the full paper (pdf).


Valid HTML 4.01 Transitional