Snake: Control Flow Distributed Software Transactional Memory.
Mohamed M. SaadBinoy RavindranPublished in: SSS (2011)
Keyphrases
- control flow
- data flow
- software testing
- distributed systems
- process model
- commodity hardware
- parallel execution
- modeling language
- speculative execution
- hardware design
- workflow management systems
- software systems
- multi agent
- formal semantics
- case study
- blue gene
- computing environments
- computer systems
- software development
- software engineering
- transactional memory
- artificial intelligence