Certifying Concurrent Programs Using Transactional Memory.
Long LiYu ZhangYiyun ChenYong LiPublished in: J. Comput. Sci. Technol. (2009)
Keyphrases
- concurrent programs
- transactional memory
- speculative execution
- concurrent programming
- parallel execution
- parallel computing
- process algebra
- massively parallel
- blue gene
- concurrent processes
- parallel programming
- web applications
- web services composition
- field programmable gate array
- commodity hardware
- parallel architectures
- computing systems
- databases
- asynchronous circuits