| 臺大學術典藏 |
2018-09-10T05:26:55Z |
Efficient Restoration scheduling in survivable WDM networks
|
C. S. Ho; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T05:26:54Z |
More Properties of Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
|
J. Tsai, S. Y. Kuo; Y. M. Wang; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T05:26:54Z |
All-IPv6 Service Interworking Gateway
|
J.L. Chen; W.H. Chen; S.Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T05:26:54Z |
Sensitivity Analysis of Software Reliability for Component-Based Software Applications
|
J. H. Lo; C. Y. Huang; I. Y.Chen; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:13Z |
Gatekeeper: Monitoring Auto-Start Extensibility Points (ASEPs) for Spyware Management
|
Y. M. Wang; R. Roussev; C. Verbowski; A. Johnson; M. W. Wu; Y. Huang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:13Z |
Techniques to Reduce Synchronization in Distributed Parallel Logic Simulation
|
K. H. Chang; W. T. Tu; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:13Z |
Dependable WDM Networks with Edge-Disjoint P-cycles
|
C. C. Sue; M. S. Shieh; Y. C. Chen; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:12Z |
An XOR-based Reed-Solomon Algorithm for Advanced RAID Systems
|
P. H. Hsieh; I. Y. Chen; Y. T. Lin; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:12Z |
IC HTOL Test Stress Condition Optimization
|
Peng, Brian; Chen, Ing-Yi; Kuo, Sy-Yen; Bolger, Colin; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:12Z |
An Efficient Perfect Algorithm for Memory Repair Problems
|
H. Y. Lin; I. Y. Chen; F. M. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:12Z |
A Temporal Assertion Extension to Verilog
|
K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:11Z |
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags
|
C. Y. Huang; C. T. Lin; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:11Z |
An Efficient Testing Method for Quantum Boolean Circuits
|
C. Y. Lu; S. A. Wang; I. M. Tsai; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:11Z |
Experimental Realization of an NMR Quantum Switch
|
I. M. Tsai; S. Y. Kuo; S. L. Huang; Y. C. Lin; T. T. Chen; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:10Z |
Automatic Partitioner for Distributed Parallel Logic Simulation
|
K. H. Chang; H. W. Wang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:10Z |
Verifying Web applications using bounded model checking
|
Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:10Z |
System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express
|
C. C; Yu; K. H. Chang; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:09Z |
A Reservation-Based Multicast Protocol for WDM Optical Star Networks
|
K. Naik; D. S. L. Wei; D. Krizanc; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:09Z |
Improvements for Dynamic Sub-mesh Restoration Scheme in Dense WDM Networks
|
C. S. Ho; I. Y. Chen; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:09Z |
Dynamic Sub-mesh Protection under Dynamic Traffic Demands in Dense WDM Networks
|
C. S. Ho; I. Y. Chen; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:09Z |
Optimal Allocation of Testing-Resource Considering Cost, Reliability, Testing-Effort
|
C. Y. Huang; J. H. Lo; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:09Z |
Securing Web Application Code by Static Analysis and Runtime Protection
|
Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:08Z |
Computing System Failure Frequencies and Reliability Importance Measures using OBDD
|
Y. R. Chang; S. V. Amari; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:59:08Z |
Distributed Fault Tolerant Embedding of Several Topologies in Hypercubes
|
S. Y. Kuo; SY-YEN KUO; Y. R. Leu; S. C. Wang |
| 臺大學術典藏 |
2018-09-10T04:59:08Z |
Adaptive Communication-Induced Checkpointing Protocols with Domino-Effect Freedom
|
J. Tsai; C. Y. Lin; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:25Z |
A Localized Topology Control Algorithm for Constructing Power Efficient Wireless Ad Hoc Networks
|
S. C. Wang; David S.L. Wei; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:24Z |
A PCI-X Verification Environment Using C and Verilog
|
K. H. Chang; Y. C. Su; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:24Z |
A Tag-Augmented Temporal Logic Checker
|
K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:24Z |
Sensitivity Analysis of Software Reliability for Component-Based Software Applications
|
J. H. Lo; C. Y. Huang; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:23Z |
Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks
|
S. C. Wang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:23Z |
Minimal Cutset Enumeration and Network Reliability Evaluation by Recursive Merge and BDD
|
H. Y. Lin; S. Y. Kuo; F. M. Yeh; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:23Z |
Modified Karnaugh Map for Quantum Boolean Circuit Construction
|
S. A. Wang; C. Y. Lu; I. M. Tsai; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:23Z |
Automatic Partitioner for Distributed Simulation
|
K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:22Z |
Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation
|
C. Y. Huang; M. R. Lyu; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:22Z |
A Survey and Comparison of Fault-Tolerant Optical Crossconnects for All-Optical Networks
|
C. Y. Chang; C. C. Sue; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:22Z |
Design and Analysis of a Multicasting and Fault-Tolerant Optical Crossconnect for All-Optical Networks
|
C. Y. Chang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:35:22Z |
An Efficient Time-based Checkpointing Protocol for Mobile Computing Systems over Mobile IP
|
C. Y. Lin; S. C. Wang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:13Z |
A Low Overhead Checkpointing Protocol for Mobile Computing Systems
|
C. Y. Lin; S. C. Wang,; S. Y. Kuo; Chen, Ing-Yi; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:13Z |
Optimal Allocation of Testing Resources for Modular Software Systems
|
C. Y. Huang; J. H. Lo; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:13Z |
A Reservation Based Medium Access Control Protocol with Multicast Support for Optical Star Networks
|
K. Naik; David S.L. Wei; D. Krizanc; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:13Z |
Analyzing network reliability with imperfect nodes using OBDD
|
F. M. Yeh; H. Y. Lin; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:13Z |
Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD
|
Y. R. Chang; S. V. Amari; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Direction-Aware Routing Protocol for Mobile Ad Hoc Network
|
W. H. Chung; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Quantum Boolean Circuit Approach for Searching an Unordered Database
|
I. M. Tsai; S. Y. Kuo; Wei, David S.L.; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
An Efficient Time-based Checkpointing Protocol for Mobile Computing Systems over Wide Area Networks
|
C. Y. Lin; S. C. Wang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Optimal Resource Allocation and Reliability Analysis for Component-based Software Applications
|
J. H. Lo; C. Y. Huang; S. Y. Kuo; M. R. Lyu; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Reliable Multicast based on k-Connected Graph
|
C. Y. Lin; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Reliability and Cost Analysis of a Multicasting and Fault-Tolerant Optical Crossconnect for All-Optical Networks
|
C. Y. Chang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:12Z |
Scalable and High Throughput Digital Switching in the Quantum Domain
|
I. M. Tsai; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-09-10T04:15:11Z |
Digital Switching in the Quantum Domain
|
I. M. Tsai; S. Y. Kuo; SY-YEN KUO |
