From post

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.

 

Другие публикации лиц с тем же именем

Semantics Driven Hardware Design, Implementation, and Verification with ReWire., , , , и . LCTES, стр. 13:1-13:10. ACM, (2015)A virtual memory based runtime to support multi-tenancy in clusters with GPUs., , , , , и . HPDC, стр. 97-108. ACM, (2012)Provably Correct Development of reconfigurable hardware designs via equational reasoning., , , и . FPT, стр. 160-171. IEEE, (2015)An Experiment on Human Face Recognition Performance for Access Control., , , , , и . KES (1), том 5177 из Lecture Notes in Computer Science, стр. 141-148. Springer, (2008)Semantics-directed machine architecture in ReWire., , , , и . FPT, стр. 446-449. IEEE, (2013)A Principled Approach to Secure Multi-core Processor Design with ReWire., , , , и . 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., , , , и . ARC, том 9040 из Lecture Notes in Computer Science, стр. 41-52. Springer, (2015)A programming model for reconfigurable computing based in functional concurrency., , , , и . ReCoSoC, стр. 1-8. IEEE, (2016)