Proving Fairness and Implementation Correctness of a Microkernel Scheduler.

Matthias Daum Jan Dörrenbächer Burkhart Wolff

Published in: J. Autom. Reason. (2009)

Keyphrases

implementation issues
machine learning
game theory
efficient implementation
implementation details
database
load balancing
knowledge base
case study
multi agent
evolutionary algorithm
data model
multi objective
software engineering