Improving interrupt response time in a verifiable protected microkernel.

Bernard Blackham Yao Shi Gernot Heiser

Published in: EuroSys (2012)

Keyphrases

response time
prefetching
scheduling algorithm
query execution
data mining
storage space
higher priority
disk access
neural network
case study
quality of service
databases
learning algorithm
artificial intelligence