GPU-Accelerated Verification of the Collatz Conjecture.

Takumi Honda Yasuaki Ito Koji Nakano

Published in: ICA3PP (1) (2014)

Keyphrases

gpu accelerated
finite element
real time
model checking
verification method
face verification
sequence alignment
image processing
maximum likelihood
signature verification