Verification of TLB Virtualization Implemented in C.

Eyad Alkassar Ernie Cohen Mikhail Kovalev Wolfgang J. Paul

Published in: VSTTE (2012)

Keyphrases

operating system
real time
multiscale
data integration
database
databases
genetic algorithm
artificial intelligence
data warehouse
cloud computing
high availability