Towards a user-mode approach to partitioned scheduling in the seL4 microkernel.

Mikael Åsberg Thomas Nolte

Published in: SIGBED Rev. (2013)

Keyphrases

end users
user satisfaction
scheduling problem
user preferences
user centric
scheduling algorithm
user experience
user defined
user interaction
user interface
data sets
resource allocation
user profiles
user model
relevance feedback
special case
user interests