Anping He

发表

A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment

Xu Han, Ning Zhou, Xinyan Gao, 2018, ICPCSEE.

An asynchronous loop structure based on the click element

Hong Chen, Anping He, Yuxuan Liu, 2017, 2017 International Conference on Electron Devices and Solid-State Circuits (EDSSC).

Verbs as index in classroom discourse

Anping He, An E 何安娥 He, 2004 .

Corpus Pedagogic Processing of Phraseology for EFL Teaching: A Case of Implementation

Anping He, A. He, 2015 .

A discrete invasive weed optimization algorithm for solving traveling salesman problem

Jinzhao Wu, Yongquan Zhou, Qifang Luo, 2015, Neurocomputing.

A formal analysis of stage stunt system with hybrid automata

Juan Wang, Anping He, 2012, 2012 7th International Conference on Computing and Convergence Technology (ICCCT).

Click-Based Asynchronous Mesh Network with Bounded Bundled Data

Jilin Zhang, Pengfei Li, Yong Hei, 2018, ICPP.

A FPGA based SAT solver with random variable selection

Jinzhao Wu, Anping He, Juxia Xiong, 2016, 2016 International Conference on Integrated Circuits and Microsystems (ICICM).

Study of 64-bit booth asynchronous multiplier based on FPGA

Caihong Li, Jilin Zhang, Xiaoqing Liu, 2017, 2017 IEEE 12th International Conference on ASIC (ASICON).

How to think about self-timed systems

Hong Chen, Marly Roncken, Xiaoyu Song, 2017, 2017 51st Asilomar Conference on Signals, Systems, and Computers.

An innovative implementation of asynchronous for-loop circuit with click micropipeline

Jinzhao Wu, Anping He, Guangbo Feng, 2017, 2017 2nd IEEE International Conference on Integrated Circuits and Microsystems (ICICM).

An asynchronous GFSK demodulator for automatic meter reading

Hong Chen, Guanghua Wu, Anping He, 2016, 2016 IEEE International Conference on Electron Devices and Solid-State Circuits (EDSSC).

A Corpus-Based Analysis of Simultaneous Speech in English Conversation

Anping He, 1996 .

Automata-Based Analysis of Stage Suspended Boom Systems

Jinzhao Wu, Yongquan Zhou, Juan Wang, 2013, J. Appl. Math..

A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks

Jian Wang, Daxin Tian, Jianshan Zhou, 2014, J. Appl. Math..

Modular Timing Constraints for Delay-Insensitive Systems

Marly Roncken, Xiaoyu Song, Ivan E. Sutherland, 2016, Journal of Computer Science and Technology.

Process Algebra with Chaos Executing Policy for Unhealthy Systems

Jinzhao Wu, Guang Zheng, Lian Li, 2009, J. Comput..

A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series

Caihong Li, Anping He, Yulin Shen, 2017, Neural Processing Letters.

Modeling and Verification of Circuit with Stable-Event

Caihong Li, Anping He, Tingting Jia, 2017, 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC).

Formal Proof of a Machine Closed Theorem in Coq

Hai Wan, Zhiyang You, Xibin Zhao, 2014, J. Appl. Math..

How to Accelerate FPGA Application in an Asynchronous Way?

Pengfei Li, Jinlin Zhang, Anping He, 2019, FPGA.

An Efficient Multitask Scheduling Model for Wireless Sensor Networks

Hongsheng Yin, Xin Huang, Honggang Qi, 2014, J. Appl. Math..

A DPLL-based High-Concurrent SAT Solver with FPGA

Yi Zuo, Caihong Li, Anping He, 2017 .

An Asynchronous Energy-Efficient CNN Accelerator with Reconfigurable Architecture

Hong Chen, Hui Wu, Shaojun Wei, 2018, 2018 IEEE Asian Solid-State Circuits Conference (A-SSCC).

An Asynchronous Pipeline based Implementation of Membrane Potential of IF model

Jinzhao Wu, Anping He, Juxia Xiong, 2018, 2018 IEEE International Conference on Electron Devices and Solid State Circuits (EDSSC).

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Jinzhao Wu, Yunbo Rao, Shihan Yang, 2013, J. Comput..

A Power Effective Algorithm for State Encoding

Hao Wu, Jinzhao Wu, Anping He, 2014 .

A FPGA Based SAT Solver with High Random and Concurrent Strategies

Jinzhao Wu, Haitao Zhang, Lian Li, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

Mathematical analysis of stage-based programmable logic controller

Guowu Yang, Jinzhao Wu, Lian Li, 2011, Comput. Math. Appl..

An innovation tool-chain for synthesis and implementation of Xilinx FPGA devices

Yi Zuo, Anping He, Caihong Li, 2017, 2017 2nd IEEE International Conference on Integrated Circuits and Microsystems (ICICM).

Approximate Equivalence of the Hybrid Automata with Taylor Theory

Jinzhao Wu, Hongyan Tan, Shihan Yang, 2014, J. Appl. Math..

An asynchronous mesh NoC based booth multiplication

Jinzhao Wu, Jilin Zhang, Anping He, 2019, IET Circuits Devices Syst..

An asynchronous and reconfigurable CNN accelerator

Hong Chen, Shaojun Wei, Zhihua Wang, 2018, 2018 IEEE International Conference on Electron Devices and Solid State Circuits (EDSSC).

Approximate Completed Trace Equivalence of Linear Algebra Transition Systems

Yang Liu, Hao Yang, Shihan Yang, 2013, BIC-TA.

An Equivalence Checking Method for Circuits with Black Boxes Based on Logic Cone and SAT

Anping He, Jinzhao Wu, Yuan Yue, 2010, 2010 International Conference on Management and Service Science.

An Efficient Algorithm for Transforming LTL Formula to Büchi Automaton

Lian Li, Anping He, Jinzhao Wu, 2008, 2008 International Conference on Intelligent Computation Technology and Automation (ICICTA).