Login / Signup

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions.

Subhankar MukherjeePallab DasguptaSiddhartha Mukhopadhyay
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2011)
Keyphrases
  • context sensitive
  • natural language
  • context free
  • information retrieval
  • language model
  • multiple task learning
  • knowledge base
  • high level
  • multiword
  • graph grammars
  • spelling correction