Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.

Published in: FMCAD (2016)

Keyphrases

information sharing
domain knowledge
spatial information
partial information
information retrieval
information content
website
structural information
information processing
information sources
information extraction
higher level
database
end users
mobile robot
prior knowledge
search engine
neural network