no code implementations • 14 Jan 2022 • Luca Grementieri, Francesco Finelli
To the best of our knowledge, this is the largest dataset for static analysis problems and it is the first public dataset of sparse linear systems (containing both the matrix and a realistic constant term).
no code implementations • 17 Dec 2020 • Manuela Sisti, Francesco Finelli, Giorgio Pedrazzi, Matteo Faganello, Francesco Califano, Francesca Delli Ponti
All our techniques use also a threshold on the aspect ratio of the regions selected.
Plasma Physics