公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2003 | 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 | 14th VLSI Design/CAD Symposium | |||
2005 | A Secure Quantum Communication Protocol using Insecure Public Channels | I. M. Tsai; C. M. Yu; W. T. Tu; S. Y. Kuo; SY-YEN KUO | 20th International Information Security Conference(SEC’05) | 2 | 0 | |
2003 | A Tag-Augmented Temporal Logic Checker | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 14th VLSI Design/CAD Symposium | |||
2004 | A Temporal Assertion Extension to Verilog | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA04) | 1 | 0 | |
2005 | Automatic Partitioner for Behavior Level Distributed Logic Simulation | K. H. Chang; J. Y. Kang; H. W. Wang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 25th IFIP WG 6.1 International Conference (FORTE 2005) | 1 | 0 | |
2003 | Automatic Partitioner for Distributed Simulation | K. H. Chang; W. T. Tu; Y. J. Yeh; S. Y. Kuo; SY-YEN KUO | 14th VLSI Design/CAD Symposium | |||
2015 | Machine vision system for tomato picking robot | Li, J. C.; SUMING CHEN ; Y. L. Chen; Y. C. Chiu; W. T. Tu; P. J. Pan | Journal of Agricultural Machinery | |||
2004 | 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 | 16th IASTED International Conference on Parallel and Distributed Computing and Systems(PDCS'04) |