Results for author 'Sandeep Kumar Shukla'

Formal Methods and Models for System Design

A System Level Perspective

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

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Ingredients for Successful System Level Design Methodology

Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

Cyber Security in India

Education, Research and Training

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture

River Publishers in Security and Digital Forensics