Verifying Preemptive Kernel Code with Preemption Control Support.

Yu Guo Haozhong Zhang

Published in: TASE (2014)

Keyphrases

control system
support vector
lower bound
databases
multi agent systems
feature space
dynamic programming
scheduling problem
response time
source code
kernel function
single machine
gaussian processes
kernel matrix
kernel learning
kernel regression