( en | de | ru )

 

Disambiguierung von "Allwein, Gerard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation.

, , , , und . ARC, Volume 9040 von Lecture Notes in Computer Science, Seite 41-52. Springer, (2015)

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.

Otto Allwein

Eugen Allwein

Gérard Gäfgen

Gerard Meijer

Gerard Spettel

 

Weitere Publikationen von Autoren mit dem selben Namen

A programming model for reconfigurable computing based in functional concurrency., , , , und . ReCoSoC, Seite 1-8. IEEE, (2016)Kripke Models for Linear Logic., und . J. Symb. Log., 58 (2): 514-545 (1993)Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL., und . Euler, Volume 134 von Electronic Notes in Theoretical Computer Science, Seite 153-187. Elsevier, (2004)A core calculus for secure hardware: its formal semantics and proof system., , , und . MEMOCODE, Seite 122-131. ACM, (2017)A Principled Approach to Secure Multi-core Processor Design with ReWire., , , , und . ACM Trans. Embed. Comput. Syst., 16 (2): 33:1-33:25 (2017)Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation., , , , und . ARC, Volume 9040 von Lecture Notes in Computer Science, Seite 41-52. Springer, (2015)Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference., und . GT-VMT@ICGT, Volume 72 von Electronic Notes in Theoretical Computer Science, Seite 78-92. Elsevier, (2002)Semantics-directed machine architecture in ReWire., , , , und . FPT, Seite 446-449. IEEE, (2013)Verifiable Security Templates for Hardware., und . DATE, Seite 658-661. IEEE, (2020)The AAAI Fall Symposia., , , , , , , , , und . AI Magazine, 20 (3): 87-89 (1999)