Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.

Chao Xu Xi Wu Huibiao Zhu Miroslav Popovic

Published in: TASE (2019)

Keyphrases

hardware design
scheduling problem
blue gene
scheduling algorithm
database
real time database systems
computer systems
software systems
software architecture
design patterns
speculative execution
transactional memory
parallel machines
software development
source code
object oriented
information systems