21 results on '"Malik, Sharad"'
Search Results
2. Compositional Verification Using a Formal Component and Interface Specification
3. Usage-Based RTL Subsetting for Hardware Accelerators
4. Morpheus
5. A formal instruction-level GPU model for scalable verification
6. Vulnerability-tolerant secure architectures
7. Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
8. Invited - Specification and modeling for systems-on-chip security verification
9. CommGuard
10. Automated firmware testing using firmware-hardware interaction patterns
11. An assertion language for debugging SDN applications
12. Specification and synthesis of hardware checkpointing and rollback mechanisms
13. Supporting RTL flow compatibility in a microarchitecture-level design framework
14. Efficient behavior-driven runtime dynamic voltage scaling policies
15. A formal concurrency model based architecture description language for synthesis of software development tools
16. Synthesizing operating system based device drivers in embedded systems
17. Automated synthesis of efficient binary decoders for retargetable software toolkits
18. Compile-time dynamic voltage scaling settings
19. Automated cache optimizations using CME driven diagnosis
20. Exact memory size estimation for array computations without loop unrolling
21. Precise miss analysis for program transformations with caches of arbitrary associativity
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.