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

"shyu jyuo min"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 1-9 of 9  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2020-06-11T06:29:41Z Hardware Verification Using Symbolic State Transition Graphs. Chen, Pinhong;Shyu, Jyuo-Min;Chen, Liang-Gee; Chen, Pinhong; Shyu, Jyuo-Min; Chen, Liang-Gee; LIANG-GEE CHEN
臺大學術典藏 2018-09-10T04:27:49Z Hardware verification using symbolic state transition graphs Chen, Pinhong; Shyu, Jyuo-Min; Chen, Liang-Gee; LIANG-GEE CHEN
國立交通大學 2015-07-21T08:31:29Z A 0.5V 1.27mW Nose-on-a-Chip for Rapid Diagnosis of Ventilator-Associated Pneumonia Tang, Kea-Tiong; Chiu, Shih-Wen; Shih, Chung-Hung; Chang, Chia-Ling; Yang, Chia-Min; Yao, Da-Jeng; Wang, Jen-Huo; Huang, Chien-Ming; Chen, Hsin; Chang, Kwuang-Han; Hsieh, Chih-Cheng; Chang, Ting-Hau; Chang, Meng-Fan; Wang, Chia-Min; Liu, Yi-Wen; Chen, Tsan-Jieh; Yang, Chia-Hsiang; Chiueh, Herming; Shyu, Jyuo-Min
國立臺灣大學 1993-10 Hardware verification using symbolic state transition graphs Chen, Pin-hong; Shyu, Jyuo-Min; Chen, Liang-Gee
臺大學術典藏 1993-10 Hardware verification using symbolic state transition graphs Chen, Pin-Hong; Shyu, Jyuo-Min; Chen, Liang-Gee; Chen, Pin-hong; Shyu, Jyuo-Min; Chen, Liang-Gee
國立臺灣大學 1993-02 A new method of identifying critical paths for performance optimization Huang, Shiang-Tang; Parng, Tai-Ming; Shyu, Jyuo-Min
國立臺灣大學 1991-11 A new approach to solving false path problem in timing analysis Huang, Shiang-Tang; Parng, Tai-Ming; Shyu, Jyuo-Min
國立臺灣大學 1991-11 Transient sensitivity computation for waveform relaxation-based timing simulation Chen, Chun-Jung; Shyu, Jyuo-Min; Feng, Wu-Shiung
國立臺灣大學 1991-05 Transient sensitivity computation for waveform relaxation-based timing simulation Chen, Chun-Jung; Shyu, Jyuo-Min; Feng, Wu-Shiung

Showing items 1-9 of 9  (1 Page(s) Totally)
1 
View [10|25|50] records per page