Results for author 'Sandeep Kumar Shukla'

Formal Methods and Models for System Design

A System Level Perspective

Ingredients for Successful System Level Design Methodology

Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Nano, Quantum and Molecular Computing

Implications to High Level Design and Validation

SystemC Kernel Extensions for Heterogeneous System Modeling

A Framework for Multi-MoC Modeling & Simulation

Cyber Security in India

Education, Research and Training