Page Content
Publications
Citation key | glesner02verified |
---|---|
Author | Sabine Glesner and Rubino Geiß and Boris Boesler |
Title of Book | In Proceedings of the COCV-Workshop 2002 (Compiler Optimization meets Compiler Verification) |
Pages | 1-18 |
Year | 2002 |
Address | Grenoble, France |
Volume | 65 |
Number | 2 |
Month | Apr |
Publisher | 5th European Conferences on Theory and Practice of Software (ETAPS 2002) |
Organization | Electronic Notes in Theoretical Computer Science (ENTCS) |
Abstract | 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 eectively. 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. |
Bibtex Type of Publication | Conference Article |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe