Verifying Trace Equivalence of a Shared-Memory-Style Communication System.
Yoshinobu KawabeKen ManoPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- parallel computing
- multi processor
- parallel computation
- parallel machines
- low overhead
- parallel architecture
- shared memory multiprocessors
- address space
- parallel architectures
- memory access
- image processing
- parallel execution
- parallel programming
- distributed systems
- multithreading
- parallel computers
- commodity hardware
- shared memory multiprocessor
- real time