Login / Signup

Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.

Yuelu DuanXiaobing FengLei WangChao ZhangPen-Chung Yew
Published in: CGO (2009)
Keyphrases
  • consistency checking
  • concurrent programs
  • expert systems
  • relational databases
  • case study
  • bayesian networks
  • multiscale
  • information technology
  • evolutionary algorithm
  • automatic detection
  • computer programs