Author of the publication

A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection.

, and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 431-437. IEEE, (2018)

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

Bedload transport and bed resistance associated with density and turbidity currents, , , , , and . Sedimentology, 57 (6): 1463--1490 (October 2010)A new method for attitude refinement of earth observation satellite with asynchronous images., , , and . IGARSS, page 1221-1224. IEEE, (2016)A note on the convergence of nonconvex line search., , and . CoRR, (2016)Distributed replay protocol for distributed uniprocessors., , , , , , and . ICS, page 3-14. ACM, (2012)Locating failure-inducing environment changes., , , and . PASTE, page 29-36. ACM, (2011)A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection., and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 431-437. IEEE, (2018)General Theory of Quasi-Commutative BCI-algebras., , , and . Formalized Mathematics, 16 (1-4): 253-258 (2008)SDN性能优化技术研究综述 (Review of SDN Performance Optimization Technology)., and . 计算机科学, 45 (11A): 84-91 (2018)A Swarm Optimization Genetic Algorithm Based on Quantum-Behaved Particle Swarm Optimization., and . Comput. Intell. Neurosci., (2017)Ballistic Trajectory Estimation Using Polynomial Chaos Based Square Root Ensemble Filter., , and . FUSION, page 1-7. IEEE, (2019)