Valentina Richthammer, Michael Glaß. On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]
Abstract is missing.