Wavesched: a novel scheduling technique for control-flow intensive designs.
Ganesh LakshminarayanaKamal S. KhouriNiraj K. JhaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
- control flow
- data flow
- software testing
- scheduling problem
- transition systems
- process model
- workflow management systems
- scheduling algorithm
- workflow processes
- formal semantics
- modeling language
- business processes
- reactive systems
- temporal logic
- multi agent systems
- database systems
- business process models
- knowledge base
- data sets