Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg. Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 1167-1172, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
Abstract is missing.