MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).
Ermenegildo TomascoOmar InversoBernd FischerSalvatore La TorreGennaro ParlatoPublished in: TACAS (2014)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- multi processor
- parallel computing
- parallel programming
- parallel architectures
- parallel computation
- parallel architecture
- parallel machines
- address space
- shared memory multiprocessors
- parallel computers
- program execution
- distributed systems
- parallel execution
- memory access
- programming environment