Showing 1 - 19 results of 19 for search 'Chung-Yang (Ric) Huang', query time: 0.98s Refine Results
  1. 1
    Unsupervised Text Clustering with Deep Embedding Model
    by Ko-Ching Liang, 梁可擎
    Published 2018
    Other Authors: “...Chung-Yang Ric Huang...”
    Get full text
    Others
  2. 2
    Optimizing Backward-Cut-Based EC and ECO Algorithms
    by Yo-Chi Lee, 李友岐
    Published 2019
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  3. 3
    Improving Property Directed Reachability Using Dynamic Timeframe Expansion
    by Cheng-Han Yang, 楊承翰
    Published 2017
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  4. 4
    Joint Sequence Learning and Cross-Modality Convolution for 3D Biomedical Segmentation
    by Kuan-Lun Tseng, 曾冠綸
    Published 2018
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  5. 5
    Learning Game Rules by Observing and Text Understanding
    by Po-Cheng Chu, 朱柏澂
    Published 2019
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  6. 6
    Improving Safety Property Checking on RTL Design with Abstraction and Refinement Techniques
    by Cheng-Yin Wu, 吳政穎
    Published 2010
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  7. 7
    Software and Hardware Implementation of the Constrained Random Pattern Generator
    by Chia-Cheng Tso, 左佳正
    Published 2010
    Other Authors: “...Chung-Yang(Ric)Huang...”
    Get full text
    Others
  8. 8
    Toward On-the-fly Reconfigurable FPGA Applications by Efficient SAT-Based Logic Rectification Techniques
    by Po-Kai Huang, 黃柏凱
    Published 2012
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  9. 9
    Improving Simulation-Based and Formal Verification Techniques by Automatic High-Level Design Intent and Invariant Extractions
    by Hu-Hsi Yeh, 葉護熺
    Published 2012
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  10. 10
    A Formal-Assisted Buffer Insertion and Gate Sizing Technique Considering Multi-Corner Multi-Mode Timing Constraints
    by Man-Yu Li, 李曼鈺
    Published 2011
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  11. 11
    Implementation of Parallel Boolean Satisfiability Solver by CUDA (Compute Unified Device Architecture)
    by Kung-Ming Lin, 林拱民
    Published 2011
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  12. 12
    High-Level Design Intent Extraction for Intelligent Verification
    by Chi-Wen Chang, 張啟文
    Published 2007
    Other Authors: “...Chung-Yang( Ric ) Huang...”
    Get full text
    Others
  13. 13
    Decision-Based Interpolation Generation Algorithm:A Novel Boolean Circuit Resynthesis Technique
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  14. 14
    A Formal Logic Approach to Chinese Recognizing Textual Entailment
    by Fu-Chieh Chang, 張富傑
    Published 2014
    Other Authors: “...Chung-Yang(Ric) Huang...”
    Get full text
    Others
  15. 15
    Utilizing High-level Synthesis Techniques in High-level to RT-level Equivalence Checking
    by Yueh-Tung Chao, 趙悅彤
    Published 2012
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  16. 16
    Formal SystemC Verification based on Property-Directed Reachability
    by Kuan-Chang Wang, 王冠璋
    Published 2012
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  17. 17
    Cache-Coherence-Ensured Techniques for Fast and Accurate Out-of-Order MPSoC Virtual Platform Simulation
    by Hsin-Cheng Lin, 林鑫成
    Published 2013
    Other Authors: “...Chung-Yang (ric) Huang...”
    Get full text
    Others
  18. 18
    Enhancing Property Directed Reachability Technique through Cube Analysis
    by Hong-Syun Jiang, 江弘勛
    Published 2015
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
  19. 19
    Application of DAG-Aware MIG Rewriting Technique in Logic Synthesis and Verification
    by Li-Wei Wang, 王立為
    Published 2016
    Other Authors: “...Chung-Yang (Ric) Huang...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search