English  |  正體中文  |  简体中文  |  总笔数 :2822808  
造访人次 :  29969923    在线人数 :  634
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"h z chou"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-22 / 22 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
臺大學術典藏 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

显示项目 1-22 / 22 (共1页)
1 
每页显示[10|25|50]项目