( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SAT-Based Control of Concurrent Software for Deadlock Avoidance

, , и . Automatic Control, IEEE Transactions on, 60 (12): 3269--3274 (декабря 2015)
DOI: 10.1109/tac.2015.2426232

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.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

Другие публикации лиц с тем же именем

A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink., , , и . Software Engineering Research and Practice, стр. 29-35. CSREA Press, (2005)Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks, , , и . CoRR, (2012)Precis of Knowledge and Practical Interests. Philosophy and Phenomenological Research, 75 (1): 168 (2007)Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty., , , , , , , , , и 5 other автор(ы). AIES, стр. 401-413. ACM, (2021)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , и . 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., , , и . UAI, стр. 35-42. AUAI Press, (2011)Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty., , , , , , , , , и 4 other автор(ы). CoRR, (2020)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, , , , , , , и . Discrete Event Dynamic Systems, 23 (2): 157--195 (13.05.2013)Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets., , , , , и . CDC/ECC, стр. 1142-1148. IEEE, (2011)Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control., , , , и . CoRR, (2023)