Personensuche
X
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
1
APEX: A Framework for Automated Processing Element Design S..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
3
Synthesizing Instruction Selection Rewrite Rules from RTL u..:
, In:
?
2020 57th ACM/IEEE Design Automation Conference (DAC) ,
5
Creating an Agile Hardware Design Flow:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
6
Type-directed scheduling of streaming accelerators:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
fault: A Python Embedded Domain-Specific Language for Metap..:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
8
Creating an agile hardware design flow:
, In:
?
Proceeding of the 41st annual international symposium on Computer architecuture ,
11