Formal Methods in System and MpSoC Performance Analysis and Optimisation.

Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty

Browse the full DATE paper archive.