( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.

, , и . DATE, стр. 875-881. IEEE Computer Society, (2002)

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.

Sandeep Sadanandan

Anjali Shukla

Sandeep Nambiar

Sandeep Ameta

Sandeep Kumar

 

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

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks, , и . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), стр. 7.1--7.15. Las Vegas, NE, (1995)Structured Component Composition Frameworks for Embedded System Design., , и . HiPC, том 2552 из Lecture Notes in Computer Science, стр. 663-678. Springer, (2002)SCGPSim: a fast SystemC simulator on GPUs., , , и . ASP-DAC, стр. 149-154. IEEE, (2010)Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models., , и . ASP-DAC, стр. 723-728. IEEE, (2013)A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid., , и . ISGT, стр. 1-8. IEEE, (2012)Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals., , и . IWLS, стр. 407-411. (2002)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , и . PODC, стр. 122. ACM, (1996)Coprocessor design space exploration using high level synthesis., , и . ISQED, стр. 879-884. IEEE, (2010)Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems., и . IEEE Trans. Computers, 60 (8): 1057-1058 (2011)Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid., и . SPIN, том 7385 из Lecture Notes in Computer Science, стр. 137-154. Springer, (2012)