( en | de | ru )

 

Disambiguierung von "Stanley, Jason"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

, , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157--195 (13.05.2013)
DOI: 10.1007/s10626-012-0139-x

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.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

Weitere Publikationen von Autoren mit dem selben Namen

Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty., , , , , , , , , und 5 andere Autor(en). AIES, Seite 401-413. ACM, (2021)Precis of Knowledge and Practical Interests. Philosophy and Phenomenological Research, 75 (1): 168 (2007)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 . Automatic Control, IEEE Transactions on, 60 (12): 3269--3274 (Dezember 2015)Knowledge and Action, und . Journal of Philosophy, 105 (10): 571-590 (2008)Explicit storage and analysis of billions of states using commodity computers., , und . WODES, Seite 364-371. International Federation of Automatic Control, (2012)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , und . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)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)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157--195 (13.05.2013)