Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jiang, Jie-Hong R.
3105  Ergebnisse:
Personensuche X
?
1

Quantized Neural Network Synthesis for Direct Logic Circuit..:

Huang, Yu-Shan ; Jiang, Jie-Hong R. ; Mishchenko, Alan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  2 - p. 473-482 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Resolution Proof System for Dependency Stochastic Boolean..:

Luo, Yun-Rong ; Cheng, Che ; Jiang, Jie-Hong R.
Journal of Automated Reasoning.  67 (2023)  3 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
3

Circuit Learning: From Decision Trees to Decision Graphs:

Huang, Yu-Shan ; Jiang, Jie-Hong R.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  11 - p. 3985-3996 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Don't-Care Aware ESOP Extraction via Reduced Decomposition-..:

, In: 2023 60th ACM/IEEE Design Automation Conference (DAC),
Wei, Chun-Yu ; Jiang, Jie-Hong R. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
5

VanQiRA: A Vanishing-State-Based Framework for Quantum Circ..:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
Chen, Tian-Fu ; Wei, Chun-Yu ; Jiang, Jie-Hong R. - p. 1033-1043 , 2023
Link: https://doi.org/10.1109/..
 
?
6

WolFEx: Word-Level Function Extraction and Simplification f..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Ho, Kuo-Wei ; Chung, Shao-Ting ; Chen, Tian-Fu... - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Homing Sequence Derivation With Quantified Boolean Satisfia..:

Tu, Kuan-Hua ; Wang, Hung-En ; Jiang, Jie-Hong R...
IEEE Transactions on Computers.  71 (2022)  3 - p. 696-711 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Language Equation Solving via Boolean Automata Manipulation:

, In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design,
Lin, Wan-Hsuan ; Su, Chia-Hsuan ; Jiang, Jie-Hong R. - p. 1-9 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Reconfigurable Biochemical Circuit Synthesis from Biomachin..:

, In: 2022 IEEE Biomedical Circuits and Systems Conference (BioCAS),
Wang, Chang-Jun ; Jiang, Jie-Hong R. - p. 120-124 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Advances in Quantum Computation and Quantum Technologies: A..:

De Micheli, Giovanni ; Jiang, Jie-Hong R. ; Rand, Robert..
IEEE Journal on Emerging and Selected Topics in Circuits and Systems.  12 (2022)  3 - p. 584-601 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Partial Equivalence Checking of Quantum Circuits:

, In: 2022 IEEE International Conference on Quantum Computing and Engineering (QCE),
Chen, Tian-Fu ; Jiang, Jie-Hong R. ; Hsieh, Min-Hsiu - p. 594-604 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Logic Synthesis of Binarized Neural Networks for Efficient ..:

Chi, Chia-Chih ; Jiang, Jie-Hong R.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  41 (2022)  4 - p. 993-1005 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Accurate BDD-based unitary operator manipulation for scalab..:

, In: Proceedings of the 59th ACM/IEEE Design Automation Conference,
Wei, Chun-Yu ; Tsai, Yuan-Hung ; Jhang, Chiao-Shan. - p. 523-528 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

SFO: A Scalable Approach to Fanout-Bounded Logic Synthesis ..:

, In: 2020 57th ACM/IEEE Design Automation Conference (DAC),
Zhang, He-Teng ; Jiang, Jie-Hong R. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
15

SFO : a scalable approach to fanout-bounded logic synthe..:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,
Zhang, He-Teng ; Jiang, Jie-Hong R. - p. 1-6 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15