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

"chung yang huang"

Return to Browse by Author
Sorting by Title Sort by Date

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

Institution Date Title Author
臺大學術典藏 2020-06-11T06:33:06Z Automatic abstraction refinement of TR for PDR Fan, K.;Yang, M.-J.;Huang, C.-Y.; Fan, K.; Yang, M.-J.; Huang, C.-Y.; CHUNG-YANG HUANG
臺大學術典藏 2020-06-11T06:33:06Z Adaptive interpolation-based model checking Lai, C.-Y.;Wu, C.-Y.;Huang, C.-Y.R.; Lai, C.-Y.; Wu, C.-Y.; Huang, C.-Y.R.; CHUNG-YANG HUANG
臺大學術典藏 2020-06-11T06:33:05Z Fundamentals of Algorithms Huang, C.-Y.;Lai, C.-Y.;Cheng, K.T.; Huang, C.-Y.; Lai, C.-Y.; Cheng, K.T.; CHUNG-YANG HUANG
臺大學術典藏 2020-06-11T06:33:05Z Fast and accurate MPSoC virtual platform simulation with parallel out-of-order execution approach Yeh, Y.-F.;Lin, S.-Y.;Huang, C.-Y.; Yeh, Y.-F.; Lin, S.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:46:44Z SoC HW/SW Verification and Validation Yu-Fan Yin; Chih-Jen Hsu; Thomas B. Huang; Ting-Mao Chang; CHUNG-YANG HUANG; Chung-Yang (Ric) Huang
臺大學術典藏 2018-09-10T08:46:44Z Speeding Up MPSoC Virtual Platform Simulation by Ultra Synchronization Checking Method Yu-Fu Yeh; Chung-Yang (Ric) Huang; Chi-An Wu; Hsin-Cheng Lin; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:18:34Z A Unified Multi-Corner Multi-Mode Static Timing Analysis Engine Chin-Chia Nien;Shih-Heng Tsai;Chung-Yang (Ric) Huang; Chin-Chia Nien; Shih-Heng Tsai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:18:34Z Speeding Up SoC Virtual Platform Simulation by Data-Dependency-Aware Synchronization and Scheduling Kuen-Huei Lin;Siao-Jie Cai;Chung-Yang (Ric) Huang; Kuen-Huei Lin; Siao-Jie Cai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:18:34Z Formal Deadlock Checking on High-Level SystemC Designs Chun-Nan Chou;Chang-Hong Hsu;Yueh-Tung Chao;Chung-Yang (Ric) Huang; Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T08:18:34Z A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques Bo-Han Wu;Chun-Ju Yang;Chung-Yang (Ric) Huang;Jie-Hong (Rol;) Jiang; Bo-Han Wu; Chun-Ju Yang; Chung-Yang (Ric) Huang; JIE-HONG JIANG; Jie-Hong (Rol; ) Jiang; CHUNG-YANG HUANG

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