Complete Formal Specification of the OpenMP Memory Model.

Greg Bronevetsky Bronis R. de Supinski

Published in: Int. J. Parallel Program. (2007)

Keyphrases

formal specification
artificial intelligence
machine learning
high level
probabilistic model
databases
case study
cooperative
specification language