English  |  正體中文  |  简体中文  |  2832440  
???header.visitor??? :  33842432    ???header.onlineuser??? :  1166
???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 6-30 of 45  (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018-09-10T09:24:51Z Improvement on the Thickness-direction Resolution of 2D US Image Positioning Z. H. Li;K. H. Chang;T. C. Chen;M. C. Ho;F. L. Lian;J. Y. Yen;W. L. Lin;Y. Y. Chen; Z. H. Li; K. H. Chang; T. C. Chen; M. C. Ho; F. L. Lian; J. Y. Yen; W. L. Lin; Y. Y. Chen; YUNG-YAW CHEN
臺大學術典藏 2018-09-10T09:24:51Z Synchronized Tracking of Respiration-Induced Liver Tumor Motion by Ultrasound Imaging M. H. Tsai;K. H. Chang;M. C. Ko;M. C. Ho;F. L. Lian;J. Y. Yen;W. L. Lin;Y. Y. Chen; M. H. Tsai; K. H. Chang; M. C. Ko; M. C. Ho; F. L. Lian; J. Y. Yen; W. L. Lin; Y. Y. Chen; YUNG-YAW CHEN
臺大學術典藏 2018-09-10T08:46:24Z Applying Verification Intention for Design Customization via Property Mining under Constrained Testbenches C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T08:46:23Z Formal Reset Recovery Slack Calculation at the Register Transfer Level C. N. Chung; C. W. Chang; 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 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

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