Federico Rossi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 17

Top Topics

Quantifier Free

Activation Function

Top Venues

Publications

Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM (2024)
Lorenzo Fiaschi, Federico Rossi, Marco Cococcioni, Sergio Saponara
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions. ApplePies (2023)
Federico Rossi, Giacomo Mugnaini, Sergio Saponara, Carlo Cavazzoni, Antonio Sciarappa
Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures. ApplePies (2023)
Federico Rossi, Francesco Urbani, Marco Cococcioni, Emanuele Ruffaldi, Sergio Saponara
FPPU: Design and Implementation of a Pipelined Full Posit Processing Unit. CoRR (2023)
Federico Rossi, Marco Cococcioni, Roger Ferrer Ibáñez, Jesús Labarta, Filippo Mantovani, Marc Casas, Emanuele Ruffaldi, Sergio Saponara
Compressed Real Numbers for AI: a case-study using a RISC-V CPU. CoRR (2023)
John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers. CoNGA (2023)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Small Reals Representations for Deep Learning at the Edge: A Comparison. CoNGA (2022)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications. IEEE Trans. Emerg. Top. Comput. 10 (4) (2022)
Federico Rossi, Lorenzo Fiaschi, Marco Cococcioni, Sergio Saponara
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching. ApplePies (2022)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara, Benoît Dupont de Dinechin
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities. IEEE Signal Process. Mag. 38 (1) (2021)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine. ApplePies (2021)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE. Neural Comput. Appl. 33 (16) (2021)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic. Sensors 20 (5) (2020)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Fast deep neural networks for image processing using posits and ARM scalable vector extension. J. Real Time Image Process. 17 (3) (2020)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks. SMARTCOMP (2020)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications. ICECS (2019)
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks. ApplePies (2019)