Shared Memory Concurrent System Verification using Kronecker Algebra
Robert MittermayrJohann BliebergerPublished in: CoRR (2011)
Keyphrases
- shared memory
- parallel algorithm
- message passing
- distributed memory
- parallel computing
- multi processor
- parallel computation
- parallel programming
- parallel architecture
- model checking
- data model
- parallel machines
- address space
- parallel computers
- shared memory multiprocessors
- parallel architectures
- belief propagation
- virtual machine
- multithreading
- distributed systems
- similarity measure
- shared memory multiprocessor
- image sequences