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

"h z chou"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 1-22 of 22 (1 Page(s) Totally)
1
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	2019-10-31T06:58:45Z	Path Controllability Analysis for High Quality Designs	SY-YEN KUO;C. Huang;S. Y. Kuo;K. H. Chang;H. Z. Chou;L. J. Chen; L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO
臺大學術典藏	2019-10-31T06:58:45Z	Path Controllability Analysis for High Quality Designs	SY-YEN KUO;C. Huang;S. Y. Kuo;K. H. Chang;H. Z. Chou;L. J. Chen; L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO
臺大學術典藏	2018-09-10T15:36:26Z	Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T15:36:26Z	Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:46:22Z	Facilitating Unreachable Code Diagnosis and Debugging	H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study	H. Z. Chou;H. Yu;K. H. Chang;D. Dobbyn;S. Y. Kuo; H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study	H. Z. Chou;H. Yu;K. H. Chang;D. Dobbyn;S. Y. Kuo; H. Z. Chou; H. Yu; K. H. Chang; D. Dobbyn; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Automating Unreachable Code Diagnosis and Debugging	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:12Z	Automating Unreachable Code Diagnosis and Debugging	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:11Z	Accurately Handle Don’t-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:11Z	Accurately Handle Don’t-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:11Z	Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T08:18:11Z	Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T07:41:50Z	Enhancing Bug Hunting Using High-Level Symbolic Simulation	H. Z. Chou;I. H. Lin;C. S. Yang;K. H. Chang;S. Y. Kuo; H. Z. Chou; I. H. Lin; C. S. Yang; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T07:41:50Z	Enhancing Bug Hunting Using High-Level Symbolic Simulation	H. Z. Chou;I. H. Lin;C. S. Yang;K. H. Chang;S. Y. Kuo; H. Z. Chou; I. H. Lin; C. S. Yang; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T07:41:49Z	Handling Don't-Care Conditions in High-LevelSynthesis and Application for Reducing Initialized Registers	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T07:41:49Z	Handling Don't-Care Conditions in High-LevelSynthesis and Application for Reducing Initialized Registers	H. Z. Chou;K. H. Chang;S. Y. Kuo; H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T06:35:09Z	Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks	H. Z. Chou; S. C. Wang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T06:35:06Z	Fundamental Performance Limits of Data Replication for Peer-to-Peer Applications in Wireless Ad-hoc Networks	S. C. Wang; H. Z. Chou; D. S. L. Wei; S. Y. Kuo; SY-YEN KUO
臺大學術典藏	2018-09-10T06:35:06Z	Randomized and Distributed Methods for Reliable Peer-to-Peer Data Communications in Wireless Ad Hoc Networks	H. Z. Chou; S. C. Wang; I. Y. Chen; S. Y Yuan; S. Y. Kuo; SY-YEN KUO

Showing items 1-22 of 22 (1 Page(s) Totally)
1
View [10|25|50] records per page

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