| 國立臺灣大學 |
2003-12 |
A simulation-based temporal assertion checker for PSL
|
Chang, Kai-Hui; Tu, Wei-Ting; Yeh, Yi-Jong; Kuo, Sy-Yen |
| 臺大學術典藏 |
2003-12 |
A low-error and area-time efficient fixed-width booth multiplier
|
Song, Min-An; Van, Lan-Da; Huang, Ting-Chun; Kuo, Sy-Yen; Song, Min-An; Van, Lan-Da; Huang, Ting-Chun; Kuo, Sy-Yen |
| 臺大學術典藏 |
2003-12 |
A topology control algorithm for constructing power efficient wireless ad hoc networks
|
Wang, Szu-Chi; Wei, David S.L.; Kuo, Sy-Yen; Wang, Szu-Chi; Wei, David S.L.; Kuo, Sy-Yen |
| 臺大學術典藏 |
2003-12 |
A simulation-based temporal assertion checker for PSL
|
Chang, Kai-Hui; Tu, Wei-Ting; Yeh, Yi-Jong; Kuo, Sy-Yen; Chang, Kai-Hui; Tu, Wei-Ting; Yeh, Yi-Jong; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003-11 |
A cut-based algorithm for reliability analysis of terminal-pair network using OBDD
|
Chang, Yung-Ruei; Lin, Hung-Yau; Chen, Ing-Yi; Kuo, Sy-yen |
| 臺大學術典藏 |
2003-11 |
A cut-based algorithm for reliability analysis of terminal-pair network using OBDD
|
Chang, Yung-Ruei; Lin, Hung-Yau; Chen, Ing-Yi; Kuo, Sy-Yen; Chang, Yung-Ruei; Lin, Hung-Yau; Chen, Ing-Yi; Kuo, Sy-yen |
| 淡江大學 |
2003-10-20 |
Effect of the Ca content on the electronic structure of Pb1-xCaxTiO3 perovskite
|
Jan, J. C.; Krishna Kumar, K. P.; Chiou, Jau-Wern; Tsai, H. M.; Shih, H. L.; Hsueh, Hung-Chung; Ray, Sekhar C.; Asokan, Kandasami; Pong, Way-Faung; Tsai, M. H.; Kuo, Sy-Yen; Hsieh, W. F. |
| 國立臺灣大學 |
2003-10 |
A two-level TDM access protocol for IP support in WDM optical networks
|
Chang, Chi-Yuan; Kuo, Sy-Yen |
| 臺大學術典藏 |
2003-10 |
A two-level TDM access protocol for IP support in WDM optical networks
|
Chang, Chi-Yuan; Kuo, Sy-Yen; Chang, Chi-Yuan; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003-08 |
Modified Karnaugh map for quantum Boolean circuits construction
|
Wang, Shiou-An; Lu, Chin-Yung; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003 |
Minimal cutset enumeration and network reliability evaluation by recursive merge and BDD
|
Lin, Hung-Yau; Kuo, Sy-Yen; Yeh, Fu-Min |
| 國立臺灣大學 |
2003 |
A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation
|
Huang, Chin-Yu; Lyu, M.R.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003 |
A Survey and Comparison of Fault-Tolerant Optical Crossconnects for All-Optical Networks
|
Chang, Chi-Yuan; Sue, Chuan-Ching; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003 |
Design and Analysis of a Multicasting and Fault-Tolerant Optical Crossconnect for All-Optical Networks
|
Chang, Chi-Yuan; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003 |
An Efficient Time-Based Checkpointing Protocol for Mobile Computing Systems over Mobile IP
|
Lin, Chi-Yi; Wang, Szu-Chi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2003 |
Efficient Algorithms for Selection and Sorting of Large Distributed Files on de Bruijn and Hypercube Structures
|
Wei, David S. L.; Rajasekaran, Sanguthevar; Naik, Kshirasagar; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002-12 |
Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD
|
Chang, Yung-Ruei; Amari, S.V.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002-12 |
A low overhead checkpointing protocol for mobile computing systems
|
Lin, Chi-Yi; Wang, Szu-Chi; Kuo, Sy-Yen; Chen, Ing-Yi |
| 國立臺灣大學 |
2002-11 |
Optimal allocation of testing resources for modular software systems
|
Huang, Chin-Yu; Lo, Jung-Hua; Kuo, Sy-Yen; Lyu, M.R. |
| 國立臺灣大學 |
2002-08 |
Optimal resource allocation and reliability analysis for component-based software applications
|
Lo, Jung-Hua; Kuo, Sy-Yen; Lyu, M.R.; Huang, Chin-Yu |
| 國立臺灣大學 |
2002-08 |
Quantum Boolean circuit approach for searching an unordered database
|
Tsai, I-Ming; Kuo, Sy-Yen; Wei, David S.L. |
| 國立臺灣大學 |
2002-07 |
Direction-aware routing protocol for mobile ad hoc networks
|
Chung, Wei-Her; Kuo, Sy-Yen; Chen, Shih-I |
| 臺大學術典藏 |
2002-07 |
Direction-aware routing protocol for mobile ad hoc networks
|
Chung, Wei-Her; Kuo, Sy-Yen; Chen, Shih-I; Chung, Wei-Her; Kuo, Sy-Yen; Chen, Shih-I |
| 國立臺灣大學 |
2002 |
Efficient Selection and Sorting Schemes Using Coteries for Processing Large Distributed Files
|
Wei, David S. L.; Rajasekaran, Sanguthevar; Cheng, Z.; Naik, K.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
Design and Analysis of Accelerative Preallocation Protocol for WDM Star-Coupled Networks
|
Sue, Chuan-Ching; Kuo, Sy-Yen |
