Keyphrases
- shared memory
- parallel algorithm
- message passing
- parallel computing
- multi processor
- distributed memory
- parallel machines
- shared memory multiprocessors
- parallel programming
- linear time temporal logic
- parallel architecture
- parallel architectures
- parallel execution
- model checking
- parallel computation
- address space
- multithreading
- heterogeneous platforms
- first order logic
- operating system
- high performance computing
- interprocess communication
- multi core systems