Adaptive Scheduling of Data Paths using Uppaal Tiga - Computer Science > Formal Languages and Automata TheoryReportar como inadecuado




Adaptive Scheduling of Data Paths using Uppaal Tiga - Computer Science > Formal Languages and Automata Theory - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



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

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados