Sign in

Semantics of transactional memory and automatic mutual exclusion.

Martín AbadiAndrew BirrellTim HarrisMichael Isard
Published in: POPL (2008)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • reinforcement learning
  • fine grained
  • massively parallel
  • search algorithm
  • parallel computing
  • parallel architectures
  • blue gene