Login / Signup

Testing concurrent programs on relaxed memory models.

Jacob BurnimKoushik SenChristos Stergiou
Published in: ISSTA (2011)
Keyphrases
  • concurrent programs
  • machine learning
  • real time
  • expert systems
  • knowledge acquisition