Arithmetic Transforms for Verifying Compositions of Sequential Datapaths.

Katarzyna Radecka Zeljko Zilic

Published in: ICCD (2001)

Keyphrases

computer vision
floating point
data structure
data mining
social networks
website
decision trees
three dimensional
digital libraries
feature space
evolutionary algorithm
model checking
temporal logic
sequential search