A hybrid scheduling technique for hierarchical logic simulators or "Close Encounters of the Simulated Kind".
Will SherwoodPublished in: DAC (1979)
Keyphrases
- scheduling problem
- scheduling algorithm
- logic programming
- simulation software
- round robin
- classical logic
- resource constraints
- information systems
- coarse to fine
- modal logic
- multi valued
- hierarchical model
- hierarchical structure
- neural network
- test bed
- single machine
- parallel machines
- hybrid learning
- automated reasoning
- response time
- dynamic scheduling
- linear logic
- proof theory