From post

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.

 

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

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)A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory., , и . IMSCCS (2), стр. 309-313. IEEE Computer Society, (2006)0-7695-2581-4.Semi-structured B-spline for blending two B-spline surfaces., , и . Comput. Math. Appl., 68 (7): 706-718 (2014)SAT-Based Control of Concurrent Software for Deadlock Avoidance, , и . Automatic Control, IEEE Transactions on, 60 (12): 3269--3274 (декабря 2015)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , и . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , и . CDC, стр. 4971-4976. IEEE, (2009)A Petri net approach to resource allocation in brand management systems., и . IEEM, стр. 41-45. IEEE, (2011)Adaptive Call Admission Control for Multi-Class Services in Wireless Networks., , и . ICC, стр. 2840-2844. IEEE, (2008)Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback., и . FIE, стр. 3. IEEE Computer Society, (2011)