| 臺大學術典藏 |
2005-06 |
Dynamic survivable RWA strategy on IP over WDM networks
|
Ho, Chen-Shie; Kuo, Sy-Yen; Ho, Chen-Shie; Kuo, Sy-Yen |
| 國立臺灣大學 |
2005-05 |
A framework for the design of error-aware power-efficient fixed-width Booth multipliers
|
Song, Min-An; Van, Lan-Da; Yang, Chih-Chyau; Chiu, Shih-Chieh; Kuo, Sy-Yen |
| 國立臺灣大學 |
2005-03 |
Group partition and restoration strategies for survivable WDM networks
|
Ho, Chen-Shie; Kuo, Sy-Yen; Yuan, Shih-Yi |
| 臺大學術典藏 |
2005-03 |
Group partition and restoration strategies for survivable WDM networks
|
Ho, Chen-Shie; Kuo, Sy-Yen; Yuan, Shih-Yi; Ho, Chen-Shie; Kuo, Sy-Yen; Yuan, Shih-Yi |
| 國立臺灣大學 |
2005 |
Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure
|
Lo, Jung-Hua; Huang, Chin-Yu; Chen, Ing-Yi; Kuo, Sy-Yen; Lyu, Michael R. |
| 國立臺灣大學 |
2005 |
All-IPv6 Service Interworking Gateway
|
Chen, Jiann-Liang; Chen, Wen-Hao; Kuo, Sy-Yen |
| 國立臺灣大學 |
2005 |
More Properties of Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
|
TSAI, JICHIANG; KUO, SY-YEN; WANG, YI-MIN |
| 國立臺灣大學 |
2005 |
Sensitivity Analysis of Software Reliability for Component-Based Software Applications
|
Lo, Jung-Hua; Huang, Chin-Yu; Chen, Ing-Yi; Kuo, Sy-Yen; Lyu, Michael R. |
| 國立臺灣大學 |
2005 |
A testing framework for Web application security assessment
|
Huang, Yao-Wen; Tsai, Chung-Hung; Lin, Tsung-Po; Huang, Shih-Kun; Lee, D.T.; Kuo, Sy-Yen |
| 臺大學術典藏 |
2005 |
Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure
|
Lo, Jung-Hua; Huang, Chin-Yu; Chen, Ing-Yi; Kuo, Sy-Yen; Lyu, Michael R.; Lo, Jung-Hua; Huang, Chin-Yu; Chen, Ing-Yi; Kuo, Sy-Yen; Lyu, Michael R. |
| 國立臺灣大學 |
2004-11 |
Non-detrimental Web application security scanning
|
Huang, Yao-Wen; Tsai, Chung-Hung; Lee, D.T.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-11 |
SPT-based power-efficient topology control for wireless ad hoc networks
|
Wang, Szu-Chi; Wei, D.S.L.; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-11 |
SPT-based power-efficient topology control for wireless ad hoc networks
|
Wang, Szu-Chi; Wei, D.S.L.; Kuo, Sy-Yen; Wang, Szu-Chi; Wei, D.S.L.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-10 |
IC HTOL test stress condition optimization
|
Peng, Brian; Chen, Ing-Yi; Kuo, Sy-Yen; Bolger, Colin |
| 國立臺灣大學 |
2004-10 |
An efficient perfect algorithm for memory repair problems
|
Lin, Hung-Yau; Yeh, Fu-Min; Chen, Ing-Yi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-10 |
An efficient algorithm for reconfiguring shared spare RRAM
|
Lin, Hung-Yau; Chou, Hong-Zu; Yeh, Fu-Min; Chen, Ing-Yi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-10 |
An XOR based Reed-Solomon algorithm for advanced RAID systems
|
Hsieh, Ping-Hsun; Chen, Ing-Yi; Lin, Yu-Ting; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-10 |
An efficient algorithm for reconfiguring shared spare RRAM
|
Lin, Hung-Yau; Chou, Hong-Zu; Yeh, Fu-Min; Chen, Ing-Yi; Kuo, Sy-Yen; Lin, Hung-Yau; Chou, Hong-Zu; Yeh, Fu-Min; Chen, Ing-Yi; Kuo, Sy-Yen |
| 淡江大學 |
2004-09 |
Adaptive Communication-Induced Checkpointing Protocols with Domino-Effect Freedom
|
林其誼; Tsai, Jichiang; Kuo, Sy-yen |
| 國立臺灣大學 |
2004-08 |
Quantum Boolean circuits construction using tabulation method
|
Lu, Chin-Yung; Wang, Shiou-An; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-08 |
An efficient functional verification method for quantum Boolean circuits
|
Wang, Shiou-An; Lu, Chin-Yung; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-08 |
A circuit approach for implementing quantum memory
|
Wang, Han-Wei; Tsai, I-Ming; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-08 |
Quantum Boolean circuits construction using tabulation method
|
Lu, Chin-Yung; Wang, Shiou-An; Kuo, Sy-Yen; Lu, Chin-Yung; Wang, Shiou-An; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-08 |
An efficient functional verification method for quantum Boolean circuits
|
Wang, Shiou-An; Lu, Chin-Yung; Kuo, Sy-Yen; Wang, Shiou-An; Lu, Chin-Yung; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-08 |
A circuit approach for implementing quantum memory
|
Wang, Han-Wei; Tsai, I-Ming; Kuo, Sy-Yen; Wang, Han-Wei; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-07 |
A generalized methodology for low-error and area-time efficient fixed-width Booth multipliers
|
Song, Min-An; Van, Lan-Da; Huang, Ting-Chun; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-07 |
Load-balanced anycast routing
|
Lin, Ching-Yu; Lo, Jung-Hua; Kuo, Sy-Yen |
| 臺大學術典藏 |
2004-07 |
A generalized methodology for low-error and area-time efficient fixed-width Booth multipliers
|
Kuo, Sy-Yen; Huang, Ting-Chun; Van, Lan-Da; Song, Min-An; Song, Min-An; Van, Lan-Da; Huang, Ting-Chun; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004-03 |
Reliability evaluation of dependable distributed computing systems based on recursive merge and BDD
|
Chang, Yung-Ruei; Lin, Hung-Yau; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004 |
Dynamic sub-mesh protection under dynamic traffic demands in dense WDM networks
|
Ho, Chen-Shie; Chen, Ing-Yi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004 |
Computing System Failure Frequencies and Reliability Importance Measures using OBDD
|
Chang, Yung-Ruei; Amari, S.V.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2004 |
Distributed Fault Tolerant Embedding of Several Topologies in Hypercubes
|
WANG, SHIH-CHANG; LEU, YUH-RONG; KUO, SY-YEN |
| 國立臺灣大學 |
2004 |
Adaptive Communication-Induced Checkpointing Protocols with Domino-Effect Freedom
|
TSAI, JICHIANG; LIN, CHI-YI; 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 |
| 國立臺灣大學 |
2003-12 |
A topology control algorithm for constructing power efficient wireless ad hoc networks
|
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 |
| 臺大學術典藏 |
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 |
