Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking.

Maher Fakih, Kim Grttner, Martin Frnzle, Achim Rettberg

Browse the full DATE paper archive.