You are here

Aeon: Synthesizing Scheduling Algorithms from High-Level Models

TitleAeon: Synthesizing Scheduling Algorithms from High-Level Models
Publication TypeConference Proceedings
Year of Conference2009
AuthorsMonette, Jean-Noël, Deville Yves, and Van Hentenryck Pascal
Conference Name11th INFORMS Computing Society Conference (ICS2009)
Date Published11/01/2009
Conference LocationCharleston, South Carolina

This paper describes the Aeon system whose aim is to synthesize scheduling algorithms from high-level models. Aeon, which is entirely written in Comet, receives as input a high-level model for a scheduling application which is then analyzed to generate a dedicated scheduling algorithm exploiting the structure of the model. Aeon provides a variety of synthesizers for generating complete or heuristic algorithms. Moreover, synthesizers are compositional, making it possible to generate complex hybrid algorithms naturally. Preliminary experimental results indicate that this approach may be competitive with state-of-the-art search algorithms.

Full text: