Inzemamul Haque
3 SlideShares 226 Followers 233 Followings
Personal Information
Organization / Workplace
Bengaluru Area, India India
Occupation
Student
Industry
Technology / Software / Internet
Contact Details
Tags
virtualization binary translation intel vt-x paravirtualization hardware support virtualization technology virtual machine monitors virtual machines hypervisors hardwawre support formal methods in software engineering formal methods alloy software engineering aligarh muslim university model checking computer science aligarh
See more

Presentations

(3)

Hypervisors

10 years ago • 1294 Views

Virtualization support by intel

10 years ago • 954 Views

Introduction to formal methods

8 years ago • 1586 Views

Likes

(1)

Early Prediction of Earthquakes

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