From post

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.

, , , , , , , , , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 403-414. Springer, (2020)

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.

 

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

APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis., , , , , , , , и . ASPLOS (3), стр. 33-45. ACM, (2023)fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components., , , , , , , , , и 1 other автор(ы). CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 403-414. Springer, (2020)Hardware-Based Malware Detection Using Low-Level Architectural Features., , , , , и . IEEE Trans. Computers, 65 (11): 3332-3344 (2016)Ensemble Learning for Low-Level Hardware-Supported Malware Detection., , , , и . RAID, том 9404 из Lecture Notes in Computer Science, стр. 3-25. Springer, (2015)Malware-aware processors: A framework for efficient online malware detection., , , , и . HPCA, стр. 651-661. IEEE Computer Society, (2015)EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers., , , , и . IEEE Trans. Dependable Secur. Comput., 17 (3): 620-633 (2020)Creating an Agile Hardware Design Flow., , , , , , , , , и 22 other автор(ы). DAC, стр. 1-6. IEEE, (2020)Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks., , , и . ReConFig, стр. 1-8. IEEE, (2019)Synthesizing Instruction Selection Rewrite Rules from RTL using SMT., , , , , , , и . FMCAD, стр. 139-150. IEEE, (2022)Smt-Switch: A Solver-Agnostic C++ API for SMT Solving., , , , , , , , , и . SAT, том 12831 из Lecture Notes in Computer Science, стр. 377-386. Springer, (2021)