( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
General CPM and its capacity.

, , , и . ISIT, стр. 750-754. IEEE, (2005)

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.

Padmanabhan Vakeel

Krishnan Sircar

Nirmala Padmanabhan

Ajay Krishnan

Padmanabhan Balasubramanian

 

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

Guest editorial to the special section on SEFM 2009., , и . Softw. Syst. Model., 12 (2): 227-228 (2013)An Environment for Specifying and Verifying Security Properties., и . Australian Software Engineering Conference, стр. 203-212. IEEE Computer Society, (2001)Effect of Data Access Delays and System Partitionability on the Dynamic Performance of a Shared Memory Multiprocessor., и . SC, стр. 674-682. IEEE Computer Society, (1992)Automatic synthesis of schedulers in timed systems.. CATS, том 31 из Electronic Notes in Theoretical Computer Science, стр. 118-131. Elsevier, (2000)An Approach to Provisioning E-Commerce Applications with Commercial Components., и . ICEBE, стр. 323-330. IEEE Computer Society, (2006)A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking., , и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 196-215. Springer, (2014)A Semantics for Multiprocessor Systems.. ESOP, том 582 из Lecture Notes in Computer Science, стр. 307-320. Springer, (1992)User Assisted Verification of Non-Repudiation and Similar Properties., и . Security and Management, стр. 161-170. CSREA Press, (2003)Analysis of initial use case descriptions.. IASTED Conf. on Software Engineering, стр. 24-29. IASTED/ACTA Press, (2004)An Analysis of the Twisted Cube Topology., и . ICPP (1), стр. 116-120. Pennsylvania State University Press, (1989)