Gilles Muller, Julia L. Lawall, Hervé Duchesne. A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. pages 219-230, IEEE Computer Society, 2005. [doi]
Abstract is missing.