ROSSI, FEDERICO Statistiche

ROSSI, FEDERICO  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
Edge HPC Architectures for AI-Based Video Surveillance Applications 1-gen-2024 Rossi, Federico; Saponara, Sergio
Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures 1-gen-2024 Rossi, Federico; Mugnaini, Giacomo; Saponara, Sergio; Cavazzoni, Carlo; Sciarappa, Antonio
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions 1-gen-2024 Fiaschi, Lorenzo; Rossi, Federico; Cococcioni, Marco; Saponara, Sergio
Statistical Model Checking of Cooperative Autonomous Driving Systems 1-gen-2024 Bernardeschi, Cinzia; Lettieri, Giuseppe; Rossi, Federico
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers 1-gen-2023 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching 1-gen-2023 Rossi, F.; Fiaschi, L.; Cococcioni, M.; Saponara, S.
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments 1-gen-2023 Piccoli, M.; Zoni, D.; Fornaciari, W.; Massari, G.; Cococcioni, M.; Rossi, F.; Saponara, S.; Ruffaldi, E.
Innovative arithmetics for efficient DNN computing: HW and SW solutions and their integration in RISC-V platforms 1-gen-2023 Rossi, Federico
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation 1-gen-2023 Bernardeschi, C.; Cococcioni, M.; Palmieri, M.; Rossi, F.
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications 1-gen-2022 Cococcioni, M; Rossi, Federico; Ruffaldi, Emanuele; Saponara, Sergio
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine 1-gen-2022 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Small Reals Representations for Deep Learning at the Edge: A Comparison 1-gen-2022 Cococcioni, Marco; Rossi, Federico; Ruffaldi, Emanuele; Saponara, Sergio
Faster deep neural network image processing by using vectorized posit operations on a RISC-V processor 1-gen-2021 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Faster deep neural network image processing by using vectorized posit operations on a RISC-V processor 1-gen-2021 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities 1-gen-2021 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.; De Dinechin, B. D.
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities 1-gen-2021 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.; De Dinechin, B. D.
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE 1-gen-2021 Cococcioni, Marco; Rossi, Federico; Ruffaldi, Emanuele; Saponara, Sergio
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks 1-gen-2020 Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.