Personal Information
Organization / Workplace
Bengaluru Area, India India
Occupation
Student
Industry
Technology / Software / Internet
Tags
paravirtualization
intel vt-x
binary translation
virtualization
aligarh
computer science
model checking
aligarh muslim university
software engineering
alloy
formal methods
formal methods in software engineering
hardwawre support
hypervisors
virtual machines
virtual machine monitors
virtualization technology
hardware support
See more
- Presentations
- Documents
- Infographics