( en | de | ru )

 

Disambiguation of "Srinivasan, Arvind"

Author of the publication

copydeleteadd this publication to your clipboard
Verity - A formal verification program for custom CMOS circuits.

, , and . IBM J. Res. Dev., 39 (1-2): 149-166 (1995)

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. You can also use the button next to the name to display some publications already assigned to the person.

Arvind Batra

Arvind Agarwal

R Srinivasan

Srinivasan Rajaraman

Srinivasan Seetharaman

 

Other publications of authors with the same name

A Fast Algorithm for Performance-Driven Placement., , and . ICCAD, page 328-331. IEEE Computer Society, (1990)Improving Selection of Analogical Inspirations through Chunking and Recombination., and . Creativity & Cognition, page 374-397. ACM, (2024)Optimization of Image Embeddings for Few Shot Learning., , , and . ICPRAM, page 236-242. SCITEPRESS, (2021)Optimal Search Space Strategy for Infrared Facial Image Recognition Using Capsule Networks., , , , , and . RTIP2R (2), volume 1036 of Communications in Computer and Information Science, page 454-465. Springer, (2018)An Algorithm for Performance-Driven Initial Placement of Small-Cell ICs.. DAC, page 636-639. ACM, (1991)Error Diagnosis for Transistor-Level Verification., , , and . DAC, page 218-224. ACM Press, (1994)Attention-Aware Visualization: Tracking and Responding to User Perception Over Time., , , , and . CoRR, (2024)Verity - A formal verification program for custom CMOS circuits., , and . IBM J. Res. Dev., 39 (1-2): 149-166 (1995)JoLT: Jointly Learned Representations of Language and Time-Series for Clinical Time-Series Interpretation (Student Abstract)., , , , and . AAAI, page 23447-23448. AAAI Press, (2024)AnalogiLead: Improving Selection of Analogical Inspirations with Chunking and Recombination., and . Creativity & Cognition, page 338-341. ACM, (2023)