A Graph Transformation System formalism for Software Transactional Memory Opacity.

Diogo J. Cardoso Luciana Foss André Rauber Du Bois

Published in: SBLP (2019)

Keyphrases

graph transformation
hardware design
blue gene
software development
software systems
transactional memory
source code
distributed systems
computer systems
image processing
data processing
massively parallel