( en | de | ru )

 

Disambiguierung von "Procter, Adam M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics-directed machine architecture in ReWire.

, , , , und . FPT, Seite 446-449. IEEE, (2013)

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.

M Gordian Adam

Ibrahim M Adam

Simon M M Laimer

Marcel M M Kuypers

M. Biswas M. Dam

 

Weitere Publikationen von Autoren mit dem selben Namen

A core calculus for secure hardware: its formal semantics and proof system., , , und . MEMOCODE, Seite 122-131. ACM, (2017)The Design of a Practical Proof Checker for a Lazy Functional Language., , und . Trends in Functional Programming, Volume 7829 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2012)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)The Confinement Problem in the Presence of Faults., , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 182-197. Springer, (2012)Semantics-directed machine architecture in ReWire., , , , und . FPT, Seite 446-449. IEEE, (2013)Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire., , und . RSP, Seite 114-120. IEEE, (2016)The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware., , , und . ACM Trans. Embed. Comput. Syst., 18 (1): 6:1-6:26 (2019)Making monads first-class with template haskell., , und . Haskell, Seite 99-110. ACM, (2008)A virtual memory based runtime to support multi-tenancy in clusters with GPUs., , , , , und . HPDC, Seite 97-108. ACM, (2012)