Verification of a Transactional Memory Manager under Hardware Failures and Restarts.
Ognjen MaricChristoph SprengerPublished in: FM (2014)
Keyphrases
- transactional memory
- speculative execution
- blue gene
- massively parallel
- computing systems
- commodity hardware
- hardware design
- field programmable gate array
- parallel architectures
- parallel execution
- parallel computing
- address space
- model checking
- hardware and software
- parallel programming
- computer systems
- hardware implementation
- operating system
- low cost
- image processing
- embedded systems
- memory subsystem