Title of article
Adaptive Scheduling of Data Paths using Uppaal Tiga
Author/Authors
Israa AlAttili، نويسنده , , Fred Houben، نويسنده , , Georgeta Igna، نويسنده , , Steffen Michels، نويسنده , , Feng Zhu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
11
From page
1
To page
11
Abstract
We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata technology to an industrial scheduling problem with uncertainty in job arrivals
Journal title
Electronic Proceedings in Theoretical Computer Science
Serial Year
2009
Journal title
Electronic Proceedings in Theoretical Computer Science
Record number
679778
Link To Document