臺大學術典藏 |
2018-09-10T09:25:31Z |
GPU-Based Massively Parallel N-Detect Transition Delay Fault ATPG,
|
K. Y. Liao; S. C. Hsu; J. C. M. Li; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:31Z |
Multi-Mode Automatic Test Pattern Generation for Dynamic Voltage and Frequency Scaling Designs
|
B. C. Bai;J. C. M. Li; B. C. Bai; J. C. M. Li; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:31Z |
Testing of TSV-induced Small Delay Faults for Three Dimensional Integrated Circuits,
|
C.Y. Kuo;C. J. Shih;J. C. M. Li;K. Chakrabarty; C.Y. Kuo; C. J. Shih; J. C. M. Li; K. Chakrabarty; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
Systematic Open Via Diagnosis Based on Physical Features
|
P. J. Chen; C. C. Che; J. C. M. Li; K. Y. Tsai; S. F. Kuo; P. Y. Hsueh; Y. Y. Chen; J. N. Lee; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
Transient IR-drop Analysis for At-speed Testing Using Representative Random Walk
|
MH Tsai;WS Ting;JCM Li; MH Tsai; WS Ting; JCM Li; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
Flexible TFT Circuit Analyzer Considering Process Variation, Aging, and Bending Effects
|
EH Ma;WE Wei;JCM Li; EH Ma; WE Wei; JCM Li; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
3D IC test scheduling using simulated annealing
|
CY Hsu;CY Kuo;JCM Li;K. Chakrbarty; CY Hsu; CY Kuo; JCM Li; K. Chakrbarty; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
GPU-Based Massively Parallel N-Detect Transition Delay Fault ATPG
|
KY Liao;SC Hsu;JCM Li; KY Liao; SC Hsu; JCM Li; CHIEN-MO LI |
臺大學術典藏 |
2018-09-10T09:25:32Z |
An Energy-Efficient Ultra-Wideband Transmitter with an FIR Pulse-Shaping Filter
|
W.-N. Liu;T.-H. Lin; W.-N. Liu; T.-H. Lin; TSUNG-HSIEN LIN |
臺大學術典藏 |
2018-09-10T09:25:32Z |
An Energy-Efficient 2.4-GHz PSK/16-QAM Transmitter
|
C.-Y. Lin;Y.-H. Liu;C.-T. Fu;H. Lakdawala;T.-H. Lin; C.-Y. Lin; Y.-H. Liu; C.-T. Fu; H. Lakdawala; T.-H. Lin; TSUNG-HSIEN LIN |
臺大學術典藏 |
2018-09-10T09:25:32Z |
An All-Digital Phase-Locked Loop with Dynamic Phase Control for Fast Locking
|
Y.-C. Chuang;S.-L. Tsai;C.-E. Liu;T.-H. Lin; Y.-C. Chuang; S.-L. Tsai; C.-E. Liu; T.-H. Lin; TSUNG-HSIEN LIN |
臺大學術典藏 |
2018-09-10T09:25:33Z |
Unified QBF Certification and its Applications
|
Valeriy Balabanov;Jie-Hong R. Jiang; Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:33Z |
Automatic Decoder Synthesis: Methods and Case Studies
|
Hsiou-Yuan Liu;Yen-Cheng Chou;Chen-Hsuan Lin;Jie-Hong R. Jiang; Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:33Z |
Clock Rescheduling for Timing Engineering Change Orders
|
Kuan-Hsien Ho;Xin-Wei Shih;Jie-Hong R. Jiang; Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:33Z |
Functional Timing Analysis Made Fast and General
|
Yi-Ting Chung;Jie-Hong R. Jiang; Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:33Z |
Henkin Quantifiers and Boolean Formulae
|
Valeriy Balabanov;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:34Z |
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way
|
Cheng-Shen Han;Jie-Hong R. Jiang; Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:34Z |
Improving Design Verifiability by Early RTL Coverability Analysis
|
Kai-Hui Chang;Chia-Wei Chang;Jie-Hong R. Jiang;Chien-Nan Jimmy Liu; Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG |
臺大學術典藏 |
2018-09-10T09:25:34Z |
Compiling Program Control Flows into Biochemical Reactions
|
Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG; De-An Huang;Jie-Hong R. Jiang;Ruei-Yang Huang;Chi-Yun Cheng; De-An Huang |
臺大學術典藏 |
2018-09-10T09:25:34Z |
Statistical Analysis and Optimization of Asynchronous Circuits
|
T.-T. Liu;J. Rabaey; T.-T. Liu; J. Rabaey; TSUNG-TE LIU |
臺大學術典藏 |
2018-09-10T09:25:34Z |
A 0.25V 460nW Asynchronous Neural Signal Processor with Inherent Leakage Suppression
|
T.-T. Liu;J. Rabaey; T.-T. Liu; J. Rabaey; TSUNG-TE LIU |
臺大學術典藏 |
2018-09-10T09:25:34Z |
A Secure Authentication Scheme for Telecare Medicine Information Systems
|
Z. Y. Wu,; Y. C. Lee,; F. Lai,; H. C. Lee,; Y. F. Chung,; FEI-PEI LAI |
臺大學術典藏 |
2018-09-10T09:25:35Z |
A Password-based User Authentication Scheme for the Integrated EPR Information System
|
Z. Y. Wu,;Y. F. Chung,;F. Lai,;T. S. Chen,; Z. Y. Wu,; Y. F. Chung,; F. Lai,; T. S. Chen,; FEI-PEI LAI |
臺大學術典藏 |
2018-09-10T09:25:35Z |
Password Cracking Based on Special Keyboard Patterns
|
Hsien-Cheng Chou,;Hung-Chang Lee,;Chih-Wen Hsueh,;Fei-Pei Lai,; Hsien-Cheng Chou,; Hung-Chang Lee,; Chih-Wen Hsueh,; Fei-Pei Lai,; FEI-PEI LAI |
臺大學術典藏 |
2018-09-10T09:25:35Z |
Redactable Signatures for Signed CDA Documents
|
Zhen-Yu Wu,;Chih-Wen Hsueh,;Cheng-Yu Tsai,;Feipei Lai,;Hung-Chang Lee,;Yufang Chung,; Zhen-Yu Wu,; Chih-Wen Hsueh,; Cheng-Yu Tsai,; Feipei Lai,; Hung-Chang Lee,; Yufang Chung,; FEI-PEI LAI |