English  |  正體中文  |  简体中文  |  總筆數 :0  
造訪人次 :  51533897    線上人數 :  961
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"jie hong r jiang"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 126-135 / 141 (共15頁)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018-09-10T07:09:38Z To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale Hsuan-Po Lin;Jie-Hong R. Jiang;Ruei-Rung Lee; Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG
臺大學術典藏 2018-09-10T07:09:38Z To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale Hsuan-Po Lin;Jie-Hong R. Jiang;Ruei-Rung Lee; Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG
臺大學術典藏 2018-09-10T07:09:37Z Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving Ruei-Rung Lee; Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:58Z Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving Chih-Chun Lee; Jie-Hong R. Jiang; Chung-Yang Huang; Alan Mishchenko; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:58Z Inductive Equivalence Checking under Retiming and Resynthesis Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:58Z Quantum Mechanical Search and Harmonic Perturbation Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:57Z Quantum Mechanical Search and Harmonic Perturbation Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:57Z A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits Chin-Hsiung Hsu; Szu-Jui Chou; Jie-Hong R. Jiang; Yao-Wen Chang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:03:22Z Retiming and Resynthesis: A Complexity Perspective Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T05:29:29Z On Some Transformation Invariants under Retiming and Resynthesis Jie-Hong R. Jiang; JIE-HONG JIANG

顯示項目 126-135 / 141 (共15頁)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
每頁顯示[10|25|50]項目