Search Results - Kecheng Hao

Refine Results
  1. 1
    Flushing-enabled loop pipelining for high-level synthesis

    Flushing-enabled loop pipelining for high-level synthesis by Dai, Steve, Mingxing Tan, Kecheng Hao, Zhiru Zhang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Handling design and implementation optimizations in equivalence checking for behavioral synthesis

    Handling design and implementation optimizations in equivalence checking for behavioral synthesis by Yang, Zhenkun, Ray, Sandip, Hao, Kecheng, Xie, Fei

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

    Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis by Puri, Disha, Ray, Sandip, Hao, Kecheng, Xie, Fei

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Validating scheduling transformation for behavioral synthesis

    Validating scheduling transformation for behavioral synthesis by Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Ray, Sandip, Fei Xie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Equivalence checking for compiler transformations in behavioral synthesis

    Equivalence checking for compiler transformations in behavioral synthesis by Zhenkun Yang, Kecheng Hao, Kai Cong, Ray, Sandip, Fei Xie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Equivalence checking for behaviorally synthesized pipelines

    Equivalence checking for behaviorally synthesized pipelines by Hao, Kecheng, Ray, Sandip, Xie, Fei

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Scalable certification framework for behavioral synthesis front-end

    Scalable certification framework for behavioral synthesis front-end by Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Ray, Sandip, Fei Xie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Equivalence checking for function pipelining in behavioral synthesis

    Equivalence checking for function pipelining in behavioral synthesis by Hao, Kecheng, Ray, Sandip, Xie, Fei

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Optimizing equivalence checking for behavioral synthesis

    Optimizing equivalence checking for behavioral synthesis by Kecheng Hao, Fei Xie, Ray, Sandip, Jin Yang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

    Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis by Puri, Disha, Ray, Sandip, Hao, Kecheng, Xie, Fei

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Unraveling the electronegativity-dominated intermediate adsorption on high-entropy alloy electrocatalysts

    Unraveling the electronegativity-dominated intermediate adsorption on high-entropy alloy electrocatalysts by Hao, Jiace, Zhuang, Zechao, Cao, Kecheng, Gao, Guohua, Wang, Chan, Lai, Feili, Lu, Shuanglong, Ma, Piming, Dong, Weifu, Liu, Tianxi, Du, Mingliang, Zhu, Han

    Published in Nature communications
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Recent advances in gas storage and separation using metal–organic frameworks

    Recent advances in gas storage and separation using metal–organic frameworks by Li, Hao, Wang, Kecheng, Sun, Yujia, Lollar, Christina T., Li, Jialuo, Zhou, Hong-Cai

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Entropy‐Driven Mechanochemical Synthesis of Polymetallic Zeolitic Imidazolate Frameworks for CO2 Fixation

    Entropy‐Driven Mechanochemical Synthesis of Polymetallic Zeolitic Imidazolate Frameworks for CO2 Fixation by Xu, Wei, Chen, Hao, Jie, Kecheng, Yang, Zhenzhen, Li, Tingting, Dai, Sheng

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Review: Advances in preparation of chitooligosaccharides with heterogeneous sequences and their bioactivity

    Review: Advances in preparation of chitooligosaccharides with heterogeneous sequences and their bioactivity by Hao, Wentong, Li, Kecheng, Li, Pengcheng

    Published in Carbohydrate polymers
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Mechanochemical synthesis of pillar[5]quinone derived multi-microporous organic polymers for radioactive organic iodide capture and storage

    Mechanochemical synthesis of pillar[5]quinone derived multi-microporous organic polymers for radioactive organic iodide capture and storage by Jie, Kecheng, Zhou, Yujuan, Sun, Qi, Li, Bo, Zhao, Run, Jiang, De-en, Guo, Wei, Chen, Hao, Yang, Zhenzhen, Huang, Feihe, Dai, Sheng

    Published in Nature communications
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Entropy-stabilized metal oxide solid solutions as CO oxidation catalysts with high-temperature stability

    Entropy-stabilized metal oxide solid solutions as CO oxidation catalysts with high-temperature stability by Chen, Hao, Fu, Jie, Zhang, Pengfei, Peng, Honggen, Abney, Carter W., Jie, Kecheng, Liu, Xiaoming, Chi, Miaofang, Dai, Sheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    A Prediction Framework for State of Health of Lithium-Ion Batteries Based on Improved Support Vector Regression

    A Prediction Framework for State of Health of Lithium-Ion Batteries Based on Improved Support Vector Regression by Qiang, Hao, Zhang, Wanjie, Ding, Kecheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    An ultrastable heterostructured oxide catalyst based on high-entropy materials: A new strategy toward catalyst stabilization via synergistic interfacial interaction

    An ultrastable heterostructured oxide catalyst based on high-entropy materials: A new strategy toward catalyst stabilization via synergistic interfacial interaction by Chen, Hao, Jie, Kecheng, Jafta, Charl J., Yang, Zhenzhen, Yao, Siyu, Liu, Miaomiao, Zhang, Zihao, Liu, Jixing, Chi, Miaofang, Fu, Jie, Dai, Sheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Entropy-Driven Mechanochemical Synthesis of Polymetallic Zeolitic Imidazolate Frameworks for CO 2 Fixation

    Entropy-Driven Mechanochemical Synthesis of Polymetallic Zeolitic Imidazolate Frameworks for CO 2 Fixation by Xu, Wei, Chen, Hao, Jie, Kecheng, Yang, Zhenzhen, Li, Tingting, Dai, Sheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Strain Relaxation in Metal Alloy Catalysts Steers the Product Selectivity of Electrocatalytic CO2 Reduction

    Strain Relaxation in Metal Alloy Catalysts Steers the Product Selectivity of Electrocatalytic CO2 Reduction by Hao, Jican, Zhuang, Zechao, Hao, Jiace, Cao, Kecheng, Hu, Yuxiong, Wu, Wenbo, Lu, Shuanglong, Wang, Chan, Zhang, Nan, Wang, Dingsheng, Du, Mingliang, Zhu, Han

    Published in ACS nano
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: