Linearizability on hardware weak memory models.

Graeme Smith Kirsten Winter Robert J. Colvin

Published in: Formal Aspects Comput. (2020)

Keyphrases

probabilistic model
low cost
statistical models
real time
prior knowledge
embedded systems
database
genetic algorithm
experimental data
massively parallel
computing power
memory space