Verified Process-Context Switch for C-Programmed Kernels.

Artem Starostin Alexandra Tsyban

Published in: VSTTE (2008)

Keyphrases

high speed
databases
data mining
learning algorithm
decision making
data structure
context sensitive
computer vision
multiscale
conceptual model