Polyhedral Fragments: An Efficient Representation for Symbolically Generating Code for Processor Arrays

Witterauf M, Hannig F, Teich J (2019)


Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2019

Conference Proceedings Title: Proceedings of the International Conference on Formal Methods and Models for System Design (MEMOCODE)

Event location: San Diego

Authors with CRIS profile

How to cite

APA:

Witterauf, M., Hannig, F., & Teich, J. (2019). Polyhedral Fragments: An Efficient Representation for Symbolically Generating Code for Processor Arrays. In Proceedings of the International Conference on Formal Methods and Models for System Design (MEMOCODE). San Diego.

MLA:

Witterauf, Michael, Frank Hannig, and Jürgen Teich. "Polyhedral Fragments: An Efficient Representation for Symbolically Generating Code for Processor Arrays." Proceedings of the International Conference on Formal Methods and Models for System Design (MEMOCODE), San Diego 2019.

BibTeX: Download