PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Liao, Hongwei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.

, , , , , und . CDC-ECE, Seite 1142-1148. IEEE, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kuan-Po Liao University of Stuttgart

Yiwen Liao University of Stuttgart

Liao Han University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets., , , , , und . CDC-ECE, Seite 1142-1148. IEEE, (2011)Simulation analysis of multithreaded programs under deadlock-avoidance control., , und . Winter Simulation Conference, Seite 703-715. IEEE, (2011)A Petri net approach to resource allocation in brand management systems., und . IEEM, Seite 41-45. IEEE, (2011)Adaptive Call Admission Control for Multi-Class Services in Wireless Networks., , und . ICC, Seite 2840-2844. IEEE, (2008)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , und . IEEE Trans. Contr. Sys. Techn., 21 (6): 2067-2082 (2013)Supervisory control of software execution for failure avoidance: Experience from the Gadara project., , , , , , , und . WODES, Seite 259-266. International Federation of Automatic Control, (2010)Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration., , , und . IEEE Trans. Vis. Comput. Graph., 20 (2): 172-181 (2014)Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm., , , und . Computer-Aided Design, (2015)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , und . CDC, Seite 4971-4976. IEEE, (2009)