Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing.
Luca MarzariGabriele RoncolatoAlessandro FarinelliPublished in: CoRR (2023)
Keyphrases
- parallel computing
- parallel execution
- computing systems
- parallel architectures
- massively parallel
- parallel computation
- computer architecture
- shared memory
- high performance computing
- processing units
- parallel programming
- commodity hardware
- database systems
- computing platform
- model checking
- multi view
- general purpose