Federico Rossi - Dissemin

All papers authored by Federico Rossi

This paper was not found in any repository, but could be made available legally by the author.

2024 Federico Rossi

, Cinzia Bernardeschi, Marco Cococcioni

Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover

Upload

Distributing this paper is prohibited by the publisher

Cinzia Bernardeschi

, Giuseppe Lettieri

, Federico Rossi

Statistical Model Checking of Cooperative Autonomous Driving Systems

Upload

This paper is made freely available by the publisher.

Federico Rossi

, Sergio Saponara

Edge HPC Architectures for AI-Based Video Surveillance Applications

Download from doi.org

Federico Rossi

, Cinzia Bernardeschi

, Marco Cococcioni

, Maurizio Palmieri

Towards Formal Verification of Neural Networks in Cyber-Physical Systems

Upload

Federico Rossi

, Giacomo Mugnaini, Sergio Saponara, Carlo Cavazzoni, Antonio Sciarappa

Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures

Upload

Lorenzo Fiaschi, Federico Rossi

, Marco Cococcioni, Sergio Saponara

Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions

Upload

2023 Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri, Federico Rossi

Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation

Upload

John L. Gustafson, Marco Cococcioni

, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

M. Piccoli, D. Zoni, W. Fornaciari, G. Massari, M. Cococcioni, F. Rossi

, S. Saponara, E. Ruffaldi

Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments

Upload

Federico Rossi

, Lorenzo Fiaschi, Marco Cococcioni, Sergio Saponara

Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching

Upload

Federico Rossi

Innovative arithmetics for efficient DNN computing: HW and SW solutions and their integration in RISC-V platforms

Upload

2022 Marco Cococcioni

, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications

Upload

Marco Cococcioni

, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine

Upload

Marco Cococcioni

, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

Small Reals Representations for Deep Learning at the Edge: A Comparison

Upload

2021 Marco Cococcioni, Federico Rossi

, Emanuele Ruffaldi, Sergio Saponara

Faster deep neural network image processing by using vectorized posit operations on a RISC-V processor

Upload

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

Download from link.springer.com

Marco Cococcioni, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

, Benoit Dupont de Dinechin

Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities

Upload

2020 Marco Cococcioni, Federico Rossi

, Emanuele Ruffaldi, Sergio Saponara

A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks

Upload

Marco Cococcioni, Federico Rossi

, Emanuele Ruffaldi, Sergio Saponara

Fast deep neural networks for image processing using posits and ARM scalable vector extension

Download from link.springer.com

Marco Cococcioni

, Federico Rossi

, Emanuele Ruffaldi

, Sergio Saponara

Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic

Download from doi.org

Missing publications? Search for publications with a matching author name.

Researcher

Statistics

Refine

All papers authored by Federico Rossi