|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
51333966
Online Users :
638
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jiang j h r"
Showing items 1-10 of 20 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2021-09-02T00:05:34Z |
Time multiplexing via circuit folding
|
Chien P.-C;Jiang J.-H.R.; Chien P.-C; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:34Z |
Symbolic Uniform Sampling with XOR Circuits
|
Lin Y.-T;Jiang J.-H.R;Kravets V.N.; Lin Y.-T; Jiang J.-H.R; Kravets V.N.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
SFO: A scalable approach to fanout-bounded logic synthesis for emerging technologies
|
Zhang H.-T;Jiang J.-H.R.; Zhang H.-T; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
Symbolic gas vulnerability detection and attack synthesis
|
Peng M.H;Yu F;Jiang J.H.R.; Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
SAT-Based On-Track Bus Routing
|
Zhang H.-T;Fujita M;Cheng C.-K;Jiang J.-H.R.; Zhang H.-T; Fujita M; Cheng C.-K; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
Symbolic gas vulnerability detection and attack synthesis
|
Peng M.H;Yu F;Jiang J.H.R.; Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Circuit learning for logic regression on high dimensional boolean space
|
Chen P.-W;Huang Y.-C;Lee C.-L;Jiang J.-H.R.; Chen P.-W; Huang Y.-C; Lee C.-L; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Constraint Solving for Synthesis and Verification of Threshold Logic Circuits
|
Lee N.-Z;Jiang J.-H.R.; Lee N.-Z; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning
|
Lin Y.-C;Jiang J.-H.R.; Lin Y.-C; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:44:54Z |
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimization
|
Chang, C.-W.;Chou, H.-Z.;Chang, K.-H.;Jiang, J.-H.R.;Liu, C.-N.J.;Hsiao, C.-H.;Kuo, S.-Y.; Chang, C.-W.; Chou, H.-Z.; Chang, K.-H.; Jiang, J.-H.R.; Liu, C.-N.J.; Hsiao, C.-H.; Kuo, S.-Y.; SY-YEN KUO |
Showing items 1-10 of 20 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
|
