Distributed time, conservative parallel logic simulation on GPUs.
Bo D. WangYuhao ZhuYangdong DengPublished in: DAC (2010)
Keyphrases
- parallel processing
- distributed processing
- parallel programming
- commodity hardware
- distributed systems
- cooperative
- multi agent
- distributed environment
- parallel architectures
- general purpose
- graphics processing units
- asynchronous cellular automata
- multiple independent
- load balance
- parallel database systems
- shared memory
- simulation model
- modal logic
- computational power
- computer networks
- single processor
- parallel computers
- data management
- peer to peer
- logic programming
- mathematical model
- highly parallel
- parallel execution
- map reduce
- classical logic
- parallel computation
- data transfer
- parallel computing