|
|
???tair.name??? >
???browser.page.title.author???
|
"shyu jyuo min"???jsp.browse.items-by-author.description???
Showing items 1-9 of 9 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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
|
