| 國立臺灣大學 |
2008 |
An XQDD-Based Verification Method for Quantum Circuits
|
Wang, Shiou-An; Lu, Chin-Yung; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2008 |
Quantum Boolean Circuits are 1-Testable
|
Chou, Yao-Hsin; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2008 |
Optimization of Hybridized Error Concealment for H.264
|
Huang, Shih-Chia; Kuo, Sy-Yen |
| 國立臺灣大學 |
2008 |
Increasing Service Availability in a Wireless Home Network Environment
|
Lin, Chi-Yi; Wang, Szu-Chi; Kuo, Sy-Yen; Chen, Chi-Yuan |
| 國立臺灣科技大學 |
2007-04 |
Dependabilities in a High-performance Quantum Real-time Distributed System
|
Chou, Yao-Hsin;Tsai, I-Ming;Fahn, Chin-Shyurng;Horng, Shi-Jinn;Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
On the fundamental performance limits of peer-to-peer data replication in wireless ad hoc networks
|
Wang, Szu-Chi; Chou, Hong-Zu; Wei, David S. L.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
An Assessment of Testing-Effort Dependent Software Reliability Growth Models
|
Huang, Chin-Yu; Kuo, Sy-Yen; Lyu, M.R. |
| 國立臺灣大學 |
2007 |
Efficient and Exact Reliability Evaluation for Networks with Imperfect Vertices
|
Kuo, Sy-yen; Yeh, Fu-Min; Lin, Hung-Yau |
| 國立臺灣大學 |
2007 |
Adaptive Low-Error Fixed-Width Booth Multipliers
|
Song, Min-An; Van, Lan-Da; Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
Dithering Skip Modulation, Width and Dead Time Controllers in Highly-Efficient DC-DC Converters for System-on-chip Applications
|
Huang, Hong-Wei; Chen, Ke-Horng; Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
Quantum Circuit Design and Analysis for Database Search Applications
|
Ju, Yi-Lin; Tsai, I-Ming; Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
Fast Transient DC-DC Converter with On-Chip Compensated Error Amplifier
|
Chen, Ke-Horng; Huang, Hong-Wei; Kuo, Sy-Yen |
| 國立臺灣大學 |
2007 |
Self-healing Spyware: Detection and Remediation
|
Wu, Ming-Wei; Wang, Yi-Min; Kuo, Sy-Yen; Huang, Yennun |
| 臺大學術典藏 |
2007 |
Efficient and Exact Reliability Evaluation for Networks with Imperfect Vertices
|
Kuo, Sy-Yen; Yeh, Fu-Min; Lin, Hung-Yaukuosyyen; Kuo, Sy-yen; Yeh, Fu-Min; Lin, Hung-Yau; KuoSyyen |
| 國立臺灣大學 |
2006-01 |
A functional verification environment for advanced switching architecture
|
Song, Min-An; Huang, Ting-Chun; Kuo, Sy-Yen |
| 臺大學術典藏 |
2006-01 |
A functional verification environment for advanced switching architecture
|
Song, Min-An; Huang, Ting-Chun; Kuo, Sy-Yen; Song, Min-An; Huang, Ting-Chun; Kuo, Sy-Yen |
| 國立臺灣大學 |
2006 |
Signaling Overhead Analysis of Distributed Control for Partition-based Protection in WDM Mesh Networks
|
Ho, Chen-Shie; Kuo, Sy-Yen |
| 國立臺灣大學 |
2006 |
An SPT-based topology control algorithm for wireless ad hoc networks
|
Wang, Szu-Chi; Wei, David S.L.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2006 |
Extension headers for IPv6 anycast
|
Lin, Ching-Yu; Chen, Ing-Yi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2006 |
An Algorithm for Minimum Space Quantum Boolean Circuits Construction
|
TSAI, I-MING; KUO, SY-YEN |
| 國立臺灣大學 |
2005-12 |
A multi-faceted approach towards spam-resistible mail
|
Wu, Ming-Wei; Huang, Yennun; Lu, Shyue-Kung; Chen, Ing-Yi; Kuo, Sy-Yen |
| 國立臺灣大學 |
2005-10~11 |
OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage
|
Chang, Yung-Ruei; Amari, Suprasad V.; Kuo, Sy-Yen |
| 臺大學術典藏 |
2005-10~11 |
OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage
|
Chang, Yung-Ruei; Amari, Suprasad V.; Kuo, Sy-Yen; Chang, Yung-Ruei; Amari, Suprasad V.; Kuo, Sy-Yen |
| 國立臺灣大學 |
2005-10 |
Protocol and applications for sharing quantum private keys
|
Wang, Han-Wei; Lin, Tien-Sheng; Tsai, I-Ming; Kuo, Sy-Yen |
| 臺大學術典藏 |
2005-10 |
Protocol and applications for sharing quantum private keys
|
Wang, Han-Wei; Lin, Tien-Sheng; Tsai, I-Ming; Kuo, Sy-Yen; Wang, Han-Wei; Lin, Tien-Sheng; Tsai, I-Ming; Kuo, Sy-Yen |
