Sign in

Scheduling constraint based abstraction refinement for weak memory models.

Liangze YinWei DongWanwei LiuJi 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