Adaptive Scheduling of Data Paths using Uppaal Tiga - Computer Science > Formal Languages and Automata TheoryReport as inadecuate




Adaptive Scheduling of Data Paths using Uppaal Tiga - Computer Science > Formal Languages and Automata Theory - Download this document for free, or read online. Document in PDF available to download.

Abstract: We apply Uppaal Tiga to automatically compute adaptive scheduling strategiesfor an industrial case study dealing with a state-of-the-art image processingpipeline of a printer. As far as we know, this is the first application oftimed automata technology to an industrial scheduling problem with uncertaintyin job arrivals.



Author: Israa AlAttili Radboud University Nijmegen, Fred Houben Radboud University Nijmegen, Georgeta Igna Radboud University Nijmegen, S

Source: https://arxiv.org/







Related documents