Showing 41 - 60 results of 74 for search 'Pao-Ann Hsiung,', query time: 0.22s Refine Results
  1. 41
    Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems
    by Po-Ting Liu, 劉柏廷
    Published 2014
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  2. 42
    Hierarchical Optimization of Smart Grids with Energy Storage Systems - A Model-Predictive Control and Auction-based Method
    by Chen-Chou Tsai, 蔡鎮州
    Published 2014
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  3. 43
    Elastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture
    by Chien-Yu Wang, 王健宇
    Published 2014
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  4. 44
    Application of Smart Meters in Home Electrical Energy and Cost Saving System Research
    by Wen-Yi, Wu, 吳文義
    Published 2014
    Other Authors: “...Pao-Ann, Hsiung...”
    Get full text
    Others
  5. 45
    PoF: Performance-Oriented Framework SupportingModel-Driven Multicore Software Development
    by Chao Sheng Lin, 林朝聖
    Published 2014
    Other Authors: “...Pao Ann Hsiung...”
    Get full text
    Others
  6. 46
    Application Synthesis and Optimization on Heterogeneous Parallel Processing Systems
    by Chih-Sheng Lin, 林志勝
    Published 2014
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  7. 47
    Robust Solution Space Prediction and Optimization for Cognitive Radios
    by Ya-Ping Hu, 胡雅苹
    Published 2012
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  8. 48
    CORBA-Based Distributed Formal Verification
    by Yu-Ming Chang, 張育銘
    Published 2004
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  9. 49
    Transaction Level Modeling for Model Checking
    by Wei-Cheng Chao, 趙偉成
    Published 2004
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  10. 50
    An Assertion-Based Dynamic Formal Verification Methodology for Hardware Systems
    by Chan-Chi Wu, 吳展奇
    Published 2004
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  11. 51
    Mutation Coverage Estimation for Symbolic Model Checking
    by Te-Chang Lee, 李德昌
    Published 2004
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  12. 52
    Formal Verification of Safety Critical Systems with Safecharts
    by Tsai Wei Yu, 蔡委育
    Published 2004
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  13. 53
    Infrastructure of a Formal Verification Platform for SoC
    by Wen-Shiu Liao, 廖文旭
    Published 2004
    Other Authors: “...Pao-Ann Hsiung,...”
    Get full text
    Others
  14. 54
    Assume-Guarantee based Formal Verification of Hierarchical Software Designs
    by Tzu-Yung Shen, 沈子詠
    Published 2003
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  15. 55
    Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines
    by Cheng-Yi Lin, 林承毅
    Published 2003
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  16. 56
    Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification
    by Ming-Hwang Sun, 孫明煌
    Published 2003
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  17. 57
    UHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder
    by Yung-Ming Ko, 柯勇明
    Published 2013
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  18. 58
    Learning-Based Reconfiguration of Network-on-Chip for Varying Processing Requirements
    by Jih-Sheng Shen, 沈日昇
    Published 2013
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  19. 59
    Hidden Markov Model-based Bandwidth Selectionfor Cognitive Network
    by Yu,Ming-Yu, 余明逾
    Published 2013
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
  20. 60
    On-line scheduling of Real time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems
    by Jying-lwen Chiu, 邱京崙
    Published 2008
    Other Authors: “...Pao-Ann Hsiung...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search