PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Stanley, Jason"

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.

Jason Kennedy Appelbaum University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks., , , und . UAI, Seite 35-42. AUAI Press, (2011)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)A Rank-Based Approach to Active Diagnosis., , , und . IEEE Trans. Pattern Anal. Mach. Intell., 35 (9): 2078-2090 (2013)Wie Faschismus funktioniert. 1. Auflage Edition, (2024)A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink., , , und . Software Engineering Research and Practice, Seite 29-35. CSREA Press, (2005)Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks, , , und . CoRR, (2012)SAT-Based Control of Concurrent Software for Deadlock Avoidance., , und . IEEE Trans. Automat. Contr., 60 (12): 3269-3274 (2015)Explicit storage and analysis of billions of states using commodity computers., , und . WODES, Seite 364-371. International Federation of Automatic Control, (2012)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)