Conference
219
Publications
1K
Citations
Top concepts
EngineeringComputer ScienceComputer EngineeringComputer ArchitectureParallel ComputingMachine LearningData ScienceDeep LearningHardware SecurityProgram Analysis
Publications per year
2022–2022
219
219
Chaojian Li, Sixu Li, Yang Zhao et al. · 2022 · 35 citations
An MLIR-based Compiler Flow for System-Level Design and Hardware Acceleration
Nícolas Bohm Agostini, Serena Curzel, Vinay Amatya et al. · 2022 · 30 citations · Full text
Qubit Mapping for Reconfigurable Atom Arrays
Daniel Bochen Tan, Dolev Bluvstein, Mikhail D. Lukin et al. · 2022 · 23 citations · Full text
Polynomial Formal Verification
Rolf Drechsler, Alireza Mahzoon · 2022 · 20 citations
Formal Verification Approaches, Engineering, Verification +20
Rows per page
1–5 of 219