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

Browse By
Institution
Author
Title
Date
Statistics Chart
Institution Facts
Trend

News
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

Copyright
Publisher & Journal Policy
TAIR Copyright Conference Minutes

Related Links
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
Taiwan Academic Institutional Repository >  Browse by Author

"jie hong r jiang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 6-30 of 141  (6 Page(s) Totally)
1 2 3 4 5 6 > >>
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; 江介宏
臺大學術典藏 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; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Mei-Yen Chiu;Hsiao-Lei Chien; Hsiao-Lei Chien; Mei-Yen Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Mei-Yen Chiu;Hsiao-Lei Chien; Hsiao-Lei Chien; Mei-Yen Chiu; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z Towards Formal Evaluation and Verification of Probabilistic Design 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Nian-Ze Lee; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z Towards Formal Evaluation and Verification of Probabilistic Design 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Nian-Ze Lee; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:43:11Z An approximation algorithm to the optimal switch control of reconfigurable battery packs JIE-HONG JIANG;Mao-Cheng Huang;Shih-Hao Liang;Shou-Hung Welkin Ling;Jie-Hong R. Jiang;Shih-Yu Chen; Shih-Yu Chen; Jie-Hong R. Jiang; Shou-Hung Welkin Ling; Shih-Hao Liang; Mao-Cheng Huang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:11Z An approximation algorithm to the optimal switch control of reconfigurable battery packs JIE-HONG JIANG;Mao-Cheng Huang;Shih-Hao Liang;Shou-Hung Welkin Ling;Jie-Hong R. Jiang;Shih-Yu Chen; Shih-Yu Chen; Jie-Hong R. Jiang; Shou-Hung Welkin Ling; Shih-Hao Liang; Mao-Cheng Huang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:11Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:11Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:08Z Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:08Z Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation JIE-HONG JIANG;Jie-Hong R. Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:08Z 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:43:08Z 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:43:08Z 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
臺大學術典藏 2019-10-24T07:43:08Z 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-30 of 141  (6 Page(s) Totally)
1 2 3 4 5 6 > >>
View [10|25|50] records per page

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team