| 國立臺灣大學 |
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 |
| 國立臺灣大學 |
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 |
