( en | de | ru )

 

Disambiguation of "Liao, Hongwei"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

, , , , , , , and . Discret. Event Dyn. Syst., 23 (2): 157-195 (2013)

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.

Hongwei Wan

Hongwei Chen

Hongwei Li

Hongwei Zheng

Hongwei Zhang

 

Other publications of authors with the same name

A Petri net approach to resource allocation in brand management systems., and . IEEM, page 41-45. IEEE, (2011)Adaptive Call Admission Control for Multi-Class Services in Wireless Networks., , and . ICC, page 2840-2844. IEEE, (2008)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , and . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm., , , and . Comput. Aided Des., (2015)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , and . CDC, page 4971-4976. IEEE, (2009)Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback., and . FIE, page 3. IEEE Computer Society, (2011)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , and . Discret. Event Dyn. Syst., 23 (2): 157-195 (2013)Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets., , , , , and . CDC/ECC, page 1142-1148. IEEE, (2011)SAT-Based Control of Concurrent Software for Deadlock Avoidance., , and . IEEE Trans. Autom. Control., 60 (12): 3269-3274 (2015)Semi-structured B-spline for blending two B-spline surfaces., , and . Comput. Math. Appl., 68 (7): 706-718 (2014)