Exploiting Unexploited Computing Resources for Computational Logics.
Alessandro Dal PalùAgostino DovierAndrea FormisanoEnrico PontelliPublished in: CILC (2012)
Keyphrases
- computing resources
- cloud computing
- resource management
- limited resources
- geographically distributed
- virtual machine
- grid computing
- network resources
- network bandwidth
- load balance
- high performance computing
- database
- expressive power
- multi core processors
- inference rules
- modal logic
- resource allocation
- expert systems
- real world
- databases