Parallel Optimistic Logic Simulation with Event Lookahead.
Hong K. KimJack S. N. JeanPublished in: ICPP (1998)
Keyphrases
- simulation model
- parallel processing
- parallel implementation
- simulation models
- asynchronous cellular automata
- data sets
- parallel programming
- classical logic
- distributed memory
- parallel computation
- modal logic
- genetic algorithm
- mathematical models
- simulation environment
- numerical simulations
- logic programming
- search algorithm
- event recognition
- multi agent
- greedy search