Anping He

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 12

Top Topics

Virtual Instrument

Hybrid Automata

Top Venues

Publications

Xiaoyang Xiao, Wenqi Diao, Anping He, Jinzhao Wu
An FPGA based Method of Polynomial Multiplication. CACML (2022)
Anping He, Jinlin Zhang, Lvying Yu, Pengfei Li, Lian Li
How to Accelerate FPGA Application in an Asynchronous Way? FPGA (2019)
Anping He, Guangbo Feng, Jilin Zhang, Jinzhao Wu
An asynchronous mesh NoC based booth multiplication. IET Circuits Devices Syst. 13 (1) (2019)
Anping He, Guangbo Feng, Jilin Zhang, Pengfei Li, Yong Hei, Hong Chen
Click-Based Asynchronous Mesh Network with Bounded Bundled Data. ICPP (2018)
Xu Han, Ning Zhou, Xinyan Gao, Anping He
A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment. ICPCSEE (2) (2018)
Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu
A FPGA Based SAT Solver with High Random and Concurrent Strategies. QRS Companion (2018)
Weijia Chen, Hui Wu, Shaojun Wei, Anping He, Hong Chen
An Asynchronous Energy-Efficient CNN Accelerator with Reconfigurable Architecture. A-SSCC (2018)
Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen
How to think about self-timed systems. ACSSC (2017)
Xiaoqing Liu, Anping He, Caihong Li, Guangbo Feng, Jilin Zhang
Study of 64-bit booth asynchronous multiplier based on FPGA. ASICON (2017)
Tingting Jia, Caihong Li, Anping He
Modeling and Verification of Circuit with Stable-Event. CyberC (2017)
Zhaoshuang He, Caihong Li, Yulin Shen, Anping He
A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series. Neural Process. Lett. 46 (3) (2017)
Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland
Modular Timing Constraints for Delay-Insensitive Systems. J. Comput. Sci. Technol. 31 (1) (2016)
Yongquan Zhou, Qifang Luo, Huan Chen, Anping He, Jinzhao Wu
A discrete invasive weed optimization algorithm for solving traveling salesman problem. Neurocomputing 151 (2015)
Hongsheng Yin, Honggang Qi, Jingwen Xu, Xin Huang, Anping He
An Efficient Multitask Scheduling Model for Wireless Sensor Networks. J. Appl. Math. 2014 (2014)
Hai Wan, Anping He, Zhiyang You, Xibin Zhao
Formal Proof of a Machine Closed Theorem in Coq. J. Appl. Math. 2014 (2014)
Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan
Approximate Equivalence of the Hybrid Automata with Taylor Theory. J. Appl. Math. 2014 (2014)
Daxin Tian, Jianshan Zhou, Honggang Qi, Yingrong Lu, Yunpeng Wang, Jian Wang, Anping He
A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks. J. Appl. Math. 2014 (2014)
Shihan Yang, Jinzhao Wu, Anping He, Yunbo Rao
Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling. J. Comput. 8 (2) (2013)
Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
Automata-Based Analysis of Stage Suspended Boom Systems. J. Appl. Math. 2013 (2013)
Hao Yang, Anping He, Zhiwei Zhang, Shihan Yang, Yang Liu
Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. BIC-TA (2013)
Anping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li
Mathematical analysis of stage-based programmable logic controller. Comput. Math. Appl. 61 (7) (2011)
Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu
Process Algebra with Chaos Executing Policy for Unhealthy Systems. J. Comput. 4 (1) (2009)