Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order.

Benjamin Ogles Peter Aldous Eric Mercer

Published in: FMCAD (2019)

Keyphrases

partial order
data analysis
data sets
database
data collection
data structure
data points
data mining techniques
partially ordered
lattice structure