Verification of Scheduling in the Presence of Loops Using Uninterpreted Symbolic Simulation.
Pranav AsharAnand RaghunathanAarti GuptaSubhrajit BhattacharyaPublished in: ICCD (1999)
Keyphrases
- grid workflow
- scheduling algorithm
- scheduling problem
- simulation models
- data sets
- resource allocation
- website
- mathematical model
- model checking
- artificial intelligence
- simulation model
- mathematical models
- resource constraints
- symbolic representation
- face verification
- information retrieval
- signature verification
- formal verification
- flexible manufacturing systems
- database