direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


Verified Code Generation for Embedded Systems
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 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.
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe