Adaptive Scheduling of Data Paths using Uppaal Tiga

Details Adaptive Scheduling of Data Paths using Uppaal Tiga Adaptive Scheduling of Data Paths using Uppaal Tiga

2009-12-10

arxiv.org/abs/0912.1897v1

EPTCS 13, 2009, pp. 1-11

Computer Science

Formal Languages and Automata Theory

Scientific paper

10.4204/EPTCS.13.1

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.

Affiliated with

Also associated with

No associations

Rating

Adaptive Scheduling of Data Paths using Uppaal Tiga does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Adaptive Scheduling of Data Paths using Uppaal Tiga, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Adaptive Scheduling of Data Paths using Uppaal Tiga will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-594134