direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments


Verified Code Generation for Embedded Systems
Zitatschlüssel glesner02verified
Autor Sabine Glesner and Rubino Geiß and Boris Boesler
Buchtitel In Proceedings of the COCV-Workshop 2002 (Compiler Optimization meets Compiler Verification)
Seiten 1-18
Jahr 2002
Adresse Grenoble, France
Jahrgang 65
Nummer 2
Monat Apr
Verlag 5th European Conferences on Theory and Practice of Software (ETAPS 2002)
Organisation Electronic Notes in Theoretical Computer Science (ENTCS)
Zusammenfassung Leider nur in Englisch verfügbar. Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these operations are simple to understand, their unusual functions and their parallelism make it diffcult for automatic code generation algorithms to use them e ectively. In this paper, we present a new optimizing code generation method that can deploy these operations successfully while also verifying that the generated code is a correct translation of the input program.
Typ der Publikation Conference Article
Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe