| 國立臺灣大學 |
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 |
| 國立臺灣大學 |
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 |
| 國立臺灣大學 |
2002 |
Analysis of Incorporating Logistic Testing-Effort Function into Software Reliability Modeling
|
Huang, Chin-Yu; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
Design and Analysis of a Backbone Architecture with TDMA Mechanism for IP Optical Networking
|
Chang, Chi-Yuan; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
Digital Switching in the Quantum Domain
|
Tsai, I.-M.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
An Optimization-based Multiple-Voltage Scaling Technique for Low Power CMOS Digital Design
|
Yeh, Yi-Jong; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
An Optimistic-Based Partition-Processing Approach for Distributed Shared Memory Systems
|
Lin, Jenn-Wei; Kuo, Sy-Yen |
| 國立臺灣大學 |
2002 |
OBDD-based Evaluation of K-terminal Network Reliability
|
Yeh, Fu-Min; Lu, Shyue-Kung; Kuo, Sy-Yen |
| 國立臺灣大學 |
2001-12 |
Cache management of dynamic source routing for fault tolerance in mobile ad hoc networks
|
Chuan, Ching-Hua; Kuo, Sy-Yen |
| 臺大學術典藏 |
2001-12 |
Cache management of dynamic source routing for fault tolerance in mobile ad hoc networks
|
Chuan, Ching-Hua; Kuo, Sy-Yen; Chuan, Ching-Hua; Kuo, Sy-Yen |
| 國立臺灣大學 |
2001-10 |
Quantum Boolean circuit construction and layout under locality constraint
|
Tsai, I-Ming; Kuo, Sy-Yen |
| 臺大學術典藏 |
2001-10 |
Quantum Boolean circuit construction and layout under locality constraint
|
Tsai, I-Ming; Kuo, Sy-Yen; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2001-08 |
Reliability modeling incorporating error processes for Internet-distributed software
|
Lo, Jung-Hua; Kuo, Sy-Yen; Huang, Chin-Yu |
| 臺大學術典藏 |
2001-08 |
Reliability modeling incorporating error processes for Internet-distributed software
|
Lo, Jung-Hua; Kuo, Sy-Yen; Huang, Chin-Yu; Lo, Jung-Hua; Kuo, Sy-Yen; Huang, Chin-Yu |
| 國立臺灣大學 |
2001-07 |
A checkpointing tool for Palm operating system
|
Lin, Chi-Yi; Kuo, Sy-Yen; Huang, Yennun |
| 臺大學術典藏 |
2001-07 |
A checkpointing tool for Palm operating system
|
Lin, Chi-Yi; Kuo, Sy-Yen; Huang, Yennun; Lin, Chi-Yi; Kuo, Sy-Yen; Huang, Yennun |
| 國立臺灣大學 |
2001-05 |
An optimization-based low-power voltage scaling technique using multiple supply voltages
|
Yeh, Yi-Jong; Kuo, Sy-Yen |
| 臺大學術典藏 |
2001-05 |
An optimization-based low-power voltage scaling technique using multiple supply voltages
|
Yeh, Yi-Jong; Kuo, Sy-Yen; Yeh, Yi-Jong; Kuo, Sy-Yen |
| 國立臺灣大學 |
2001-02 |
Dependable wavelength routing with spare rerouting in all-optical WDM networks
|
Sue, Chuan-Ching; Kuo, Sy-Yen |
| 國立臺灣大學 |
2001-02 |
All-optical multicasting on wavelength-routed WDM networks with partial replication
|
Tseng, Wen-Yu; Kuo, Sy-Yen |
| 國立臺灣大學 |
2000-10 |
Effort-index-based software reliability growth models and performance assessment
|
Huang, Chin-Yu; Kuo, Sy-Yen; Lyu, M.R. |
| 國立臺灣大學 |
2000-10 |
Quantitative software reliability modeling from testing to operation
|
Huang, Chin-Yu; Kuo, Sy-Yen; Lyu, M.R.; Lo, Jung-Hua |
