( en | de | ru )

 

Disambiguation of "Liao, Hongwei"

Author of the publication

copydeleteadd this publication to your clipboard
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

, , , , , , and . CASE, page 37-41. IEEE, (2009)

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 Zhang

Hongwei Zheng

 

Other publications of authors with the same name

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)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)Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm., , , and . Comput. Aided Des., (2015)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)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)Semi-structured B-spline for blending two B-spline surfaces., , and . Comput. Math. Appl., 68 (7): 706-718 (2014)SAT-Based Control of Concurrent Software for Deadlock Avoidance., , and . IEEE Trans. Autom. Control., 60 (12): 3269-3274 (2015)