English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51796932    Online Users :  1030
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"jie hong r jiang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 6-15 of 141  (15 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:22Z Homing Sequence Derivation with Quantified Boolean Satisfiability Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang
臺大學術典藏 2019-10-24T07:45:22Z Sequential Engineering Change Order under Retiming and Resynthesis 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z Sequential Engineering Change Order under Retiming and Resynthesis 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏; 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Ning Lai; Chun-Ning Lai
臺大學術典藏 2019-10-24T07:45:21Z Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏; 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Ning Lai; Chun-Ning Lai
臺大學術典藏 2019-10-24T07:45:21Z Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Hong Shih;Cheng-Yu Shih; Cheng-Yu Shih; Chun-Hong Shih; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Hong Shih;Cheng-Yu Shih; Cheng-Yu Shih; Chun-Hong Shih; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Solving Stochastic Boolean Satisfiability under Random-Exist Quantification 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yen-Shi Wang;Nian-Ze Lee; Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏

Showing items 6-15 of 141  (15 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page