Optimization Techniques for Verification of Out-of-Order Execution Machines by Sudarshan K. Srinivasan

Get full text

Correlation of Inflammatory Biomarkers and White Blood Cell Count withCAD Severity and Mortality in Acute Coronary Syndrome Patients by Ravi Kiran S, Sudarshan K, S S Sawakar, Suresh S R

Get full text

Invulnerability invariants for software controlled speculation by Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Get full text

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs by Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna

Get full text

Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, Nimish Mathure

Get full text

WCN25-2591 Genetic variations and outcomes in children with renal tubular disorders: Insights from Indian Tubulopathy registry by Girish Bhatt, Sriram Krishnamurthy, Aliza Mittal, Aditi Sinha, Kirtisudha Mishra, Manish Kumar, Deepthi Bobby, Sudarshan K, Menka Yadav, Amber Kumar, Bhavna Dhingra, Shikha Malik, Mahesh Maheswari, Pankaj Hari, Abhijit Pakhre, Arvind Bagga

Get full text