An Enhancement for a Scheduling Logic Pipelined over two Cycles .
Ruben Gran TejeroEnric MoranchoÀngel OlivéJosé María LlaberíaPublished in: ICCD (2006)
Keyphrases
- scheduling problem
- dynamic scheduling
- scheduling algorithm
- logic programming
- modal logic
- round robin
- resource allocation
- image processing
- data flow
- batch processing
- flexible manufacturing systems
- logical framework
- parallel machines
- database
- multi valued
- image enhancement
- proof theory
- artificial intelligence
- predicate logic
- epistemic logic
- computational grids
- wafer fabrication
- automated reasoning
- real time database systems
- defeasible logic
- resource constraints
- lower bound
- data sets