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