Turning nondeterminism into parallelism.
Omer TrippEric KoskinenMooly SagivPublished in: OOPSLA (2013)
Keyphrases
- situation calculus
- parallel processing
- parallel execution
- shared memory
- parallel computing
- parallel computation
- computational power
- dynamic programming
- massively parallel
- coarse grain
- clustering algorithm
- data parallelism
- htn planning
- database operations
- parallel computers
- artificial neural networks
- expert systems
- multiscale