Author of the publication

Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.

, , , and . FDL, page 492-504. ECSI, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Coarse grain reconfigurable architecture (embedded tutorial).. ASP-DAC, page 564-570. ACM, (2001)The Machine Paradigm of Xputers and its Application to Digital Signal Processing Acceleration., , and . ICPP (1), page 609-610. Pennsylvania State University Press, (1990)KARL-II - eine Sprache zur Spezifikation beim Entwurf Kundenspezifischer Digitalbausteine.. Angew. Inform., 24 (12): 581-591 (1982)VLSI-Algorithmen - Das aktuelle Schlagwort.. Inform. Spektrum, 4 (2): 124 (1981)Xputers: An Open Family of Non-Von Neumann Architectures., , and . ARCS, page 45-58. VDE Verlag, (1990)A Novel Paradigm of Parallel Computation and its Use to Implement Simple High Performance Hardware., , and . CONPAR, volume 457 of Lecture Notes in Computer Science, page 51-62. Springer, (1990)Explicit fault modeling and hierarchical test pattern generation in the KARATE system., , and . Microprocessing and Microprogramming, 27 (1-5): 675-680 (1989)Memory addressing organization for stream-based reconfigurable computing., , , , and . ICECS, page 813-817. IEEE, (2002)A decade of reconfigurable computing: a visionary retrospective.. DATE, page 642-649. IEEE Computer Society, (2001)Hierarchy of Interpreters for Modelling Complex Digital Systems.. GI Jahrestagung, volume 1 of Lecture Notes in Computer Science, page 261-269, 508. Springer, (1973)