( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of a System-on-Chip Using Computation Slicing.

, , , и . ITC, стр. 810-819. IEEE Computer Society, (2004)

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.

Neil Garg

Balakumar Vijayakrishnan

Vijay Divi

Vijay Singh

Animesh Garg

 

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

Timestamping messages and events in a distributed system using synchronous communication., , и . Distributed Comput., 19 (5-6): 387-402 (2007)Efficient Parallel Shortest Path Algorithms., , и . ISPDC, стр. 188-195. IEEE, (2020)Amortized Constant Round Atomic Snapshot in Message-Passing Systems., , , и . CoRR, (2020)Fault Tolerance in Distributed Systems Using Fused Data Structures., и . IEEE Trans. Parallel Distributed Syst., 24 (4): 701-715 (2013)Control of stochastic discrete event systems modeled by probabilistic languages., и . IEEE Trans. Automat. Contr., 46 (4): 593-606 (2001)QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations., и . OPODIS, том 46 из LIPIcs, стр. 25:1-25:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Predicate control: synchronization in distributed computations with look-ahead., и . J. Parallel Distributed Comput., 64 (2): 219-237 (2004)Optimistic agreement in distributed systems., и . PDPTA, стр. 885-889. CSREA Press, (1997)Time and State in Asynchronous Distributed Systems., и . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)ConC: A Language for Concurrent Programming., и . Comput. Lang., 16 (1): 5-18 (1991)