Performance-driven scheduling of behavioural specifications.
María C. MolinaRafael Ruiz-SautuaPedro Garcia-RepettoJosé M. MendíasPublished in: Integr. (2009)
Keyphrases
- scheduling problem
- round robin
- scheduling algorithm
- data driven
- project scheduling
- np hard
- database
- formal specification
- resource allocation
- dynamic scheduling
- functional requirements
- container terminal
- parallel machines
- scheduling strategy
- behavioural patterns
- job shop
- written in natural language
- minimize total
- flexible manufacturing systems
- scheduling policies
- finite state machines
- response time
- high level
- knowledge base
- data sets