Modeling and Verifying Multi-core Programs.

Nan Zhang Zhenhua Duan Cong Tian Hongwei Du Kai Yang

Published in: COCOA (2) (2017)

Keyphrases

information retrieval
information systems
image processing
database
multimedia
website
similarity measure
computer science
artificial neural networks
control structures