Author of the publication

Parallel Computing Method for HRV Time-Domain Based on GPU.

, , and . ICA3PP (2), volume 9529 of Lecture Notes in Computer Science, page 434-443. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration., , , , and . TASE, page 113-120. IEEE, (2019)Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs., , , , , and . DSA, page 25-36. IEEE, (2019)ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC., , , , , , , and . ICA, page 154-157. IEEE, (2016)Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , and . ICPADS, page 844-851. IEEE, (2019)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , and . DSA, page 311-316. IEEE, (2019)A Dual Relaxation Method for Neural Network Verification., , , , and . Int. J. Softw. Eng. Knowl. Eng., 34 (8): 1199-1220 (August 2024)Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set., , , , and . IMIS, page 213-220. IEEE Computer Society, (2015)A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features., , , , , , and . TASE, page 193-200. IEEE, (2020)The Dynamic Evaluation Strategy for Evolvable Hardware., , , and . FCST, page 91-95. IEEE Computer Society, (2015)Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets., , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 62-76. Springer, (2013)