Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations.

C. Blumenröhr, und D. Eisenbiegler. MBMV, Seite 38-49. HNI-Verlagsschriften, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Christian Hermann University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Formal Synthesis at the Algorithmic Level.C. Blumenröhr, und V. Sabelfeld. CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 187-201. Springer, (1999)Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations.C. Blumenröhr, und D. Eisenbiegler. MBMV, Seite 38-49. HNI-Verlagsschriften, (1998)A constructive approach towards correctness of synthesis-application within retiming.D. Eisenbiegler, R. Kumar, und C. Blumenröhr. ED&TC, Seite 427-431. IEEE Computer Society, (1997)Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen.C. Blumenröhr. Karlsruhe Institute of Technology, (2000)A Formal Approach to Specify and Synthesize at the System Level.C. Blumenröhr. MBMV, Seite 11-20. Shaker, (1999)Semantics and Transformations in Formal Synthesis at System Level.V. Sabelfeld, C. Blumenröhr, und K. Kapp. Ershov Memorial Conference, Volume 2244 von Lecture Notes in Computer Science, Seite 149-156. Springer, (2001)Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.D. Eisenbiegler, C. Blumenröhr, und R. Kumar. TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 157-172. Springer, (1996)Performing High-Level Synthesis via Program Transformations within a Theorem Prover.C. Blumenröhr, und D. Eisenbiegler. EUROMICRO, Seite 10034-10037. IEEE Computer Society, (1998)On the efficiency of formal synthesis-experimental results.C. Blumenröhr, D. Eisenbiegler, und D. Schmid. IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (1): 25-32 (1999)An Efficient Representation for Formal Synthesis.C. Blumenröhr, und D. Eisenbiegler. ISSS, Seite 9-15. ACM / IEEE Computer Society, (1997)