Login / Signup

An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs.

Rui XinZhengwei QiShiqiu HuangChengcheng XiangYudi ZhengYin WangHaibing Guan
Published in: ICSM (2013)
Keyphrases
  • empirical studies
  • concurrent programs
  • empirical analysis
  • concurrent programming
  • uci datasets
  • real world data sets
  • process algebra
  • experimental design
  • query language
  • artificial intelligence
  • concurrency control