Wavesched: a novel scheduling technique for control-flow intensive behavioral descriptions.
Ganesh LakshminarayanaKamal S. KhouriNiraj K. JhaPublished in: ICCAD (1997)
Keyphrases
- control flow
- data flow
- scheduling problem
- scheduling algorithm
- process model
- software testing
- transition systems
- high level
- workflow management systems
- data structure
- multi agent
- formal semantics
- business process
- artificial intelligence
- machine learning
- real world
- databases
- reactive systems
- business process models
- database