English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  50691830    Online Users :  245
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

"k h chang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 11-20 of 45  (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 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 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 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: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:08:23Z Efficiency on Snake Robot Locomotion with Constant and Variable Bending Angles K. H. Chang; Y. Y. Chen; YUNG-YAW CHEN
臺大學術典藏 2018-09-10T05:26:57Z Automatic Partitioner for Behavior Level Distributed Logic Simulation K. H. Chang; J. Y. Kang; H. W. Wang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:59:13Z Techniques to Reduce Synchronization in Distributed Parallel Logic Simulation K. H. Chang; W. T. Tu; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO

Showing items 11-20 of 45  (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page