Login / Signup

Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs.

Mohamed A. El-Zawawy
Published in: ICCSA (6) (2017)
Keyphrases
  • graph matching
  • online discussion
  • graph mining
  • database transactions
  • maximum clique
  • neural network
  • graph theoretic
  • data sets
  • knowledge base
  • graphical models
  • bipartite graph
  • weighted graph
  • strongly connected