公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2000 | Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques. | Huang, Chung-Yang; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000. | | | |
2008 | Characterisation of Taiwanese propolis collected from different locations and seasons | Chen, Yue-Wen; Wu, Shiao-Wen; Ho, Kai-Kuang; Lin, Shih-Bin; Huang, Chung-Yang; Chen, Chia-Nan; CHUNG-YANG HUANG | Journal of the Science of Food and Agriculture | | 42 | |
1998 | LIBRA - a library-independent framework for post-layout performance optimization. | Huang, Chung-Yang; Wang, Yucheng; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings of the 1998 International Symposium on Physical Design, ISPD 1998, Monterey, CA, USA, April 6-8, 1998 | | | |
2015 | NBM-T-BBX-OS01, Semisynthesized from Osthole, Induced G1 Growth Arrest through HDAC6 Inhibition in Lung Cancer Cells | Pai, Jih-Tung; Hsu, Chia-Yun; Hua, Kuo-Tai; Yu, Sheng-Yung; Huang, Chung-Yang; Chen, Chia-Nan; Liao, Chiung-Ho; CHUNG-YANG HUANG | Molecules | 18 | 17 | |
2007 | Propolin G, a prenylflavanone, isolated from Taiwanese propolis, induces caspase-dependent apoptosis in brain cancer cells | Huang, Wei-Jan; Huang, Chih-Hsiang; Wu, Chia-Li; Lin, Jen-Kun; Chen, Yue-Wen; Lin, Chun-Liang; Chuang, Shuang-En; Huang, Chung-Yang; Chen, Chia-Nan; CHUNG-YANG HUANG | Journal of Agricultural and Food Chemistry | | 65 | |
2011 | Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method. | Yeh, Yu-Fu; Huang, Chung-Yang; Wu, Chi-An; Lin, Hsin-Cheng; CHUNG-YANG HUANG | Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011 | | | |
2000 | Static property checking using ATPG vs. BDD techniques. | Huang, Chung-Yang; Yang, Bwolen; Tsai, Huan-Chih; Cheng, Kwang-Ting; CHUNG-YANG HUANG | Proceedings IEEE International Test Conference 2000, Atlantic City, NJ, USA, October 2000 | | | |
2008 | 在電路上實現之布林函數解法器以及它在利用電路重新連線進行邏輯最佳化之應用 | 吳濟安; Wu, Chi-An | | | | |
2009 | 基於SoC軟硬體共同設計與驗證之虛擬平台上的Linux作業系統支援實作 | 李沅龍; Li, Yuan-Lung | | | | |
2009 | 考慮多重邊界與操作模式之靜態時序分析引擎 | 粘敬佳; Nien, Chin-Chia | | | | |
2008 | 運用虛擬布林最佳化工具解決可滿足性問題 | 胡啟政; Hu, Chi-Cheng | | | | |