Old Web
English
Sign In
Acemap
>
Paper
>
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
2019
Luiz H. Sena
Iury Valente de Bessa
Mikhail Y. R. Gadelha
Lucas C. Cordeiro
Edjard Mota
Keywords:
Bounded function
Model checking
CUDA
Artificial neural network
Parallel computing
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
12
References
0
Citations
NaN
KQI
[]