English  |  正體中文  |  简体中文  |  2833128  
???header.visitor??? :  34216428    ???header.onlineuser??? :  1688
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"k h chang"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 11-35 of 45  (2 Page(s) Totally)
1 2 > >>
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
臺大學術典藏 2018-09-10T04:59:12Z A Temporal Assertion Extension to Verilog K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:59:10Z Automatic Partitioner for Distributed Parallel Logic Simulation K. H. Chang; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:59:10Z System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express C. C; Yu; K. H. Chang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:35:24Z A PCI-X Verification Environment Using C and Verilog K. H. Chang; Y. C. Su; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:35:24Z A Tag-Augmented Temporal Logic Checker K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:35:23Z Automatic Partitioner for Distributed Simulation K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T03:50:21Z A Compiled-Code Simulation Technique for RTL Designs Y. J. Yeh; K. H Chang; M. T. Chen,; S. Y. Kuo; SY-YEN KUO
國立臺灣海洋大學 2014-12 Generation of green frequency comb from chirped χ(2) nonlinear photonic crystals L.-H. Peng; C.-M. Lai; K.-H. Chang; Z.-Y. Yang; S.-H. Fu; S.-T. Tsai; C.-W. Hsu; N. E. Yu; A. Boudrioua; A. H. Kung
國立臺灣海洋大學 2011 A series solution for the diffraction of SH waves by a vertical edge crack Tsaur, D. H;K. H. Chang;M. S. Hsu
南台科技大學 2008 Ultraviolet band-pass photodetectors formed by Ga-doped ZnO contacts to GaN 李明倫; J. K. Sheu; K. H. Chang; M. L. Lee
國立臺灣海洋大學 2008 Transverse Electric Scattering by a Dielectric Biconvex Cylinder Loaded with a Shallow Circular Trough in a Ground Plane D.-H. Tsaur;K.-H. Chang
中原大學 2006-8-25 Free volume and gas transport properties in polymeric membranes: insight understanding by pals measurement and md simulation K. L. Tung;K. H. Chang;T. S. Chang;C. C. Hu;J. Y. Lai;Y. M. Sun;R. C. Ruaan;Y. C. Jean;
南台科技大學 2006 Effects of thermal annealing on transparent gallium-doped zinc oxide films prepared by sputtering system 李明倫; K. H. Chang; K. W. Hsu; H. H. Chen; M. L. Lee; J. K. Sheu
中原大學 2006 Free Volume and Gas Transport Properties in Polymeric Membranes: Insight Understanding by PALS Measurement and MD Simulation Tung, K. L.;K. H. Chang;T. S. Chang;C. C. Hu;R.C. Ruaan;J. Y. Lai;Y. M. Sun;Y. C. Jean;
中原大學 2006 The Joint Economic-Statistical Design of Xbar and R Control Charts for Nonnormal Data H. Chen;K.H. Chang;Y. Pao;

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