Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S.K. Shukla
Two Β Defensin Cationic Peptides From Mastitic Milk of Bubalus Bubalis
Asian Journal of Animal Sciences
Animal Science
Zoology
SCGPSim: A Fast SystemC Simulator on GPUs
Formal Analysis and Validation of Continuous-Time Markov Chain Based System Level Power Management Strategies
Panel: Given That Hardware Verification Has Been an Uphill Battle, What Is the Future of Software Verification?
A Behavioral Type Inference System for Compositional System-On-Chip Design
Automated Clock Inference for Stream Function-Based System Level Specifications
Efficient Simulation of Synthesis-Oriented System Level Designs
