臺灣學術機構典藏系統 (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

"jie hong r jiang"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 86-135 of 141 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	2018-09-10T09:25:34Z	When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way	Cheng-Shen Han;Jie-Hong R. Jiang; Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:34Z	Improving Design Verifiability by Early RTL Coverability Analysis	Kai-Hui Chang;Chia-Wei Chang;Jie-Hong R. Jiang;Chien-Nan Jimmy Liu; Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:34Z	Improving Design Verifiability by Early RTL Coverability Analysis	Kai-Hui Chang;Chia-Wei Chang;Jie-Hong R. Jiang;Chien-Nan Jimmy Liu; Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:34Z	Compiling Program Control Flows into Biochemical Reactions	Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG; De-An Huang;Jie-Hong R. Jiang;Ruei-Yang Huang;Chi-Yun Cheng; De-An Huang
臺大學術典藏	2018-09-10T09:25:34Z	Compiling Program Control Flows into Biochemical Reactions	Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG; De-An Huang;Jie-Hong R. Jiang;Ruei-Yang Huang;Chi-Yun Cheng; De-An Huang
臺大學術典藏	2018-09-10T09:25:33Z	Unified QBF Certification and its Applications	Valeriy Balabanov;Jie-Hong R. Jiang; Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Unified QBF Certification and its Applications	Valeriy Balabanov;Jie-Hong R. Jiang; Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Automatic Decoder Synthesis: Methods and Case Studies	Hsiou-Yuan Liu;Yen-Cheng Chou;Chen-Hsuan Lin;Jie-Hong R. Jiang; Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Automatic Decoder Synthesis: Methods and Case Studies	Hsiou-Yuan Liu;Yen-Cheng Chou;Chen-Hsuan Lin;Jie-Hong R. Jiang; Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Clock Rescheduling for Timing Engineering Change Orders	Kuan-Hsien Ho;Xin-Wei Shih;Jie-Hong R. Jiang; Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Clock Rescheduling for Timing Engineering Change Orders	Kuan-Hsien Ho;Xin-Wei Shih;Jie-Hong R. Jiang; Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Functional Timing Analysis Made Fast and General	Yi-Ting Chung;Jie-Hong R. Jiang; Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Functional Timing Analysis Made Fast and General	Yi-Ting Chung;Jie-Hong R. Jiang; Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Henkin Quantifiers and Boolean Formulae	Valeriy Balabanov;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T09:25:33Z	Henkin Quantifiers and Boolean Formulae	Valeriy Balabanov;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:47:28Z	Resolution Proofs and Skolem Functions in QBF Evaluation and Applications	Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:47:28Z	Towards Completely Automatic Decoder Synthesis	Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:47:27Z	Scalable Don't-Care-Based Logic Optimization and Resynthesis	Alan Mishchenko; Robert Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:47:27Z	Constraint Generation for Software-Based Post-Silicon Bug Repair with Scalable Resynthesis Technique for Constraint Optimization	Chia-Wei Chang; Hong-Zu Chou; Kai-Hui Chang; Jie-Hong R. Jiang; Chien-Nan Liu; Sy-Yen Kuo; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders	Kuan-Hsien Ho;Jie-Hong R. Jiang;Yao-Wen Chang; Kuan-Hsien Ho; Jie-Hong R. Jiang; Yao-Wen Chang; YAO-WEN CHANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders	Kuan-Hsien Ho;Jie-Hong R. Jiang;Yao-Wen Chang; Kuan-Hsien Ho; Jie-Hong R. Jiang; Yao-Wen Chang; YAO-WEN CHANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning	Chih-Fan Lai;Jie-Hong R. Jiang;Kuo-Hua Wang; Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning	Chih-Fan Lai;Jie-Hong R. Jiang;Kuo-Hua Wang; Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	Boolean Matching of Function Vectors with Strengthened Learning	Chih-Fan Lai;Jie-Hong R. Jiang;Kuo-Hua Wang; Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	Boolean Matching of Function Vectors with Strengthened Learning	Chih-Fan Lai;Jie-Hong R. Jiang;Kuo-Hua Wang; Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	Hardware Equivalence and Property Verification	Jie-Hong R. Jiang;Tiziano Villa; Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:19:13Z	Hardware Equivalence and Property Verification	Jie-Hong R. Jiang;Tiziano Villa; Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:18:33Z	To SAT or Not to SAT: Scalable Exploration of Functional Dependency	Jie-Hong R. Jiang;Chih-Chun Lee;Alan Mishchenko;Chung-Yang (Ric) Huang; Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T08:18:33Z	To SAT or Not to SAT: Scalable Exploration of Functional Dependency	Jie-Hong R. Jiang;Chih-Chun Lee;Alan Mishchenko;Chung-Yang (Ric) Huang; Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Quantifier Elimination via Functional Composition	Jie-Hong R. Jiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Quantifier Elimination via Functional Composition	Jie-Hong R. Jiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Symmetrization in Digital Circuit Optimization	JIE-HONG JIANG; Nina Yevtushenko; Natalia Eliseeva;Jie-Hong R. Jiang;Natalia Kushik;Nina Yevtushenko; Natalia Eliseeva; Jie-Hong R. Jiang; Natalia Kushik
臺大學術典藏	2018-09-10T07:43:11Z	Symmetrization in Digital Circuit Optimization	JIE-HONG JIANG; Nina Yevtushenko; Natalia Eliseeva;Jie-Hong R. Jiang;Natalia Kushik;Nina Yevtushenko; Natalia Eliseeva; Jie-Hong R. Jiang; Natalia Kushik
臺大學術典藏	2018-09-10T07:43:11Z	Interpolating Functions from Large Boolean Relations	Jie-Hong R. Jiang;Hsuan-Po Lin;Wei-Lun Hung; Jie-Hong R. Jiang; Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Interpolating Functions from Large Boolean Relations	Jie-Hong R. Jiang;Hsuan-Po Lin;Wei-Lun Hung; Jie-Hong R. Jiang; Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Logic Synthesis in a Nutshell	Jie-Hong R. Jiang;Srinivas Devadas; Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:11Z	Logic Synthesis in a Nutshell	Jie-Hong R. Jiang;Srinivas Devadas; Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:10Z	Scalable Don't Care Based Logic Optimization and Resynthesis	Alan Mishchenko;Robert K. Brayton;Jie-Hong R. Jiang;Stephen Jang; Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:43:10Z	Scalable Don't Care Based Logic Optimization and Resynthesis	Alan Mishchenko;Robert K. Brayton;Jie-Hong R. Jiang;Stephen Jang; Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Stephen Jang; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:09:38Z	A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping	Sz-Cheng Huang; Jie-Hong R. Jiang; 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: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

Showing items 86-135 of 141 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 51538389 Online Users : 844 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library