Search for persons
X
?
Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design ,
1
Efficient uninterpreted function abstraction and refinement..:
, In:
?
2016 Formal Methods in Computer-Aided Design (FMCAD) ,
2
Efficient uninterpreted function abstraction and refinement..:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
3
Symbolic model checking on SystemC designs:
, In:
?
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ,
4
How to Backdoor Diffusion Models?:
, In:
?
Lecture Notes in Computer Science; Computing and Combinatorics ,
5
General Max-Min Fair Allocation:
, In:
?
Proceedings of the 2014 Conference on Research in Adaptive and Convergent Systems ,
6
A classification-based prefetching scheme for hibernation o..:
, In:
?
2022 IEEE International Solid- State Circuits Conference (ISSCC) ,
7
A 28nm 1Mb Time-Domain Computing-in-Memory 6T-SRAM Macro wi..:
, In:
?
2020 Opto-Electronics and Communications Conference (OECC) ,
8
An Optical pH Sensor with Second Layer to Eliminate Leachin..:
, In:
?
2024 IEEE/CVF Winter Conference on Applications of Computer Vision Workshops (WACVW) ,
9
2nd Workshop on Maritime Computer Vision (MaCVi) 2024: Chal..:
, In:
?
2023 IEEE International Solid- State Circuits Conference (ISSCC) ,
10
20.3 A GaN Gate Driver with On-chip Adaptive On-time Contro..:
, In:
?
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) ,
11
NTIRE 2023 Challenge on Stereo Image Super-Resolution: Meth..:
, In:
?
2022 6th International Conference on System Reliability and Safety (ICSRS) ,
12
Learning Scheme for Adaptive Modulation and Coding in 5G Ne..:
, In:
?
2022 International Electron Devices Meeting (IEDM) ,
13
High-Performance Monolayer WSe2 p/n FETs via Antimony-Plati..:
, In:
?
2018 IEEE 68th Electronic Components and Technology Conference (ECTC) ,
14
A 77GHz Antenna-in-Package with Low-Cost Solution for Autom..:
, In:
?
Proceedings of the International Conference on High Performance Compilation, Computing and Communications ,
15