( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.

, и . MEMOCODE, стр. 1-10. IEEE, (2013)

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

Sandeep Kumar

Anjali Shukla

Sandeep Nambiar

Sandeep Ameta

 

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

Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems., и . IEEE Trans. Computers, 60 (8): 1057-1058 (2011)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)Metamodeling: What is it good for?. IEEE Des. Test Comput., 26 (3): 96 (2009)Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals., , и . IWLS, стр. 407-411. (2002)Structured Component Composition Frameworks for Embedded System Design., , и . HiPC, том 2552 из Lecture Notes in Computer Science, стр. 663-678. Springer, (2002)Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid., и . SPIN, том 7385 из Lecture Notes in Computer Science, стр. 137-154. Springer, (2012)Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models., , и . ASP-DAC, стр. 723-728. IEEE, (2013)SCGPSim: a fast SystemC simulator on GPUs., , , и . ASP-DAC, стр. 149-154. IEEE, (2010)A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid., , и . ISGT, стр. 1-8. IEEE, (2012)