Scheduling constraint based abstraction refinement for weak memory models.

Liangze Yin Wei Dong Wanwei Liu Ji Wang

Published in: ASE (2018)

Keyphrases

probabilistic model
complex systems
computing power
web services
scheduling problem
database
neural network
social networks
information systems
high level
model selection
computational models
scheduling algorithm