Architectural Verification of Large Multiprocessor Computers.

Ali Y. Duale Theodore J. Bohizic Dennis W. Wittig

Published in: PDPTA (2004)

Keyphrases

computer systems
model checking
software architecture
highly parallel
computer technology
face verification
high level
database machines
data sets
fingerprint verification
formal verification
database systems
decision trees
computer vision
search engine
learning algorithm
databases