research
∙
07/20/2020
Neural Network Robustness Verification on GPUs
Certifying the robustness of neural networks against adversarial attacks...
share
research
∙
07/14/2020
A novel regularization strategy for the local discontinuous Galerkin method for level-set reinitialization
In this paper we propose a novel regularization strategy for the local d...
research
∙
05/26/2020
Domain-Specific Multi-Level IR Rewriting for GPU
Traditional compilers operate on a single generic intermediate represent...
research
∙
02/21/2020
A solver for stiff finite-rate relaxation in Baer-Nunziato two-phase flow models
In this paper we present a technique for constructing robust solvers for...
research
∙
03/16/2017
A 588 Gbps LDPC Decoder Based on Finite-Alphabet Message Passing
An ultra-high throughput low-density parity check (LDPC) decoder with an...
research
∙
03/16/2017
