Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets.
Christoph LindemannFriedrich SchönPublished in: MASCOTS (1993)
Keyphrases
- shared memory
- message passing
- parallel tree search
- parallel algorithm
- parallel computing
- distributed memory
- multi processor
- parallel architectures
- parallel architecture
- parallel computation
- parallel programming
- parallel computers
- parallel execution
- parallel machines
- address space
- belief propagation
- bayesian networks
- database systems
- shared memory multiprocessor
- depth first search
- memory access
- single processor
- energy function
- image registration
- commodity hardware
- compute unified device architecture
- pairwise
- interprocess communication
- high quality