公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2008 | Efficiency on Snake Robot Locomotion with Constant and Variable Bending Angles | K. H. Chang; Y. Y. Chen; YUNG-YAW CHEN | ARSO 2008 | 3 | 0 | |
2009 | Enhancing Bug Hunting Using High-Level Symbolic Simulation | H. Z. Chou; I. H. Lin; C. S. Yang; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009) | 5 | 0 | |
2011 | Facilitating Unreachable Code Diagnosis and Debugging | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) | 2 | 0 | |
2010 | 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; SY-YEN KUO | 2010 Design, Automation & Test in Europe (DATE 2010) | 9 | 0 | |
2011 | 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 | 2011 Design, Automation & Test in Europe Conference (DATE 2011) | 1 | 0 | |
2009 | Handling Don't-Care Conditions in High-LevelSynthesis and Application for Reducing Initialized Registers | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 46th ACM/IEEE Design Automation Conference (DAC-2009) | 8 | 0 | |
2016 | Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | IEEE Design & Test of Computers | 3 | 2 | |
2012 | 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; YUNG-YAW CHEN | International Automatic Control Conference | |||
2010 | Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis | H. Z. Chou; K. H. Chang; S. Y. Kuo; SY-YEN KUO | 15th Asia and South Pacific Design Automation Conference (ASP-DAC 2010) | 5 | 0 | |
2019 | Path Controllability Analysis for High Quality Designs | L. J. Chen; H. Z. Chou; K. H. Chang; S. Y. Kuo; C. Huang; SY-YEN KUO | 24th Asia and South Pacific Design Automation Conference (ASP-DAC 2019) | 0 | 0 | |
2012 | Respiration Induced Liver Motion Tracking Control For High Intensity Focused Ultrasound Treatment | K. T. Teng; K. H. Chang; Y. Y. Chen; T. C. Tsao; YUNG-YAW CHEN | 2012 IEEE/ASME International Conference | 2 | 0 | |
2012 | 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; YUNG-YAW CHEN | International Automatic Control Conference | |||
2004 | 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 | 15th VLSI Design/CAD Symposium | 5 | 0 | |
2004 | 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 | 16th IASTED International Conference on Parallel and Distributed Computing and Systems(PDCS'04) |