Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem. Building faithful high-level models and performance evaluation of manycore embedded systems. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 209-218, IEEE, 2014. [doi]
Abstract is missing.