Modelling and Validation of Shared Memory Coherency Protocols.
Andrew J. BennettA. J. FieldPeter G. HarrisonPublished in: Perform. Evaluation (1996)
Keyphrases
- shared memory
- shared memory multiprocessors
- parallel algorithm
- message passing
- distributed memory
- parallel computing
- multi processor
- address space
- parallel computers
- parallel architectures
- parallel architecture
- parallel programming
- parallel computation
- parallel machines
- belief propagation
- parallel tree search
- general purpose
- parallel execution
- shared memory multiprocessor
- heterogeneous platforms