Program Transformations in the POLCA Project
Beitrag zu einer Konferenz
Authors
Kuper, Jan
Schubert, Lutz
Kempf, Kilian
Glass, Colin
Bonilla, Daniel Rubio
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Organisation und Management von InformationssystemenInstitut für Eingebettete Systeme/Echtzeitsysteme
Published in
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) / Fanucci, Luca (Hrsg.). - New York, NY : Institute of Electrical and Electronics Engineers, 2016. - (Design, Automation, and Test in Europe Conference and Exhibition). - S. 882-887. - ISBN 978-3-9815-3707-9. - ISSN 1530-1591
Conference
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2016-03-14 - 2016-03-18, Dresden
Keywords
Program transformations; code partitioning; formal methods; optimization; DATA-FLOWDewey Decimal Group
DDC 600 / Technology (Applied sciences)DDC 620 / Engineering & allied operations