COCOCCIONI, MARCO Statistiche
COCOCCIONI, MARCO
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
Speeding up Quantized DNN Kernels Having 4-Bit Integer Weights Using the SWAR Approach
2026-01-01 Grassi, Lorenzo; Cococcioni, Marco
Differentiable Neural Architecture Search for Photonic-Aware Neural Networks
2025-01-01 Paolini, G.; Paolini, E.; Andriolli, N.; Cococcioni, M.
From bounding boxes to semantic segmentation: Leveraging SAM for weak supervision in remote sensing
2025-01-01 Martino, G.; Camarlinghi, N.; Di Tommaso, A.; Michelozzi, B.; Fontanelli, G.; Masini, A.; Cococcioni, M.
Linear programming with infinite, finite, and infinitesimal values in the right-hand side
2025-01-01 Cococcioni, Marco; Fiaschi, Lorenzo
Quantitative delay analysis of GI/G/1 queues with heavy-tailed traffic by means of Alpha Theory
2025-01-01 Fiorini, F.; Cococcioni, M.; Pagano, M.
A new cutting plane method for lexicographic multi-objective integer linear programming
2024-01-01 Cococcioni, M; Cudazzo, A; Fiaschi, L; Pappalardo, M; Sergeyev, Yd
Enhancing Neuromorphic Photonic Hardware Performance through Neural Architecture Search
2024-01-01 Paolini, Emilio; Andriolli, Nicola; Cococcioni, Marco
Extending the Applicability of the Pollaczek-Khinchin Formula to the Case of Infinite Service Moments
2024-01-01 Fiorini, F.; Cococcioni, M.; Pagano, M.
LLAMA-2 Acceleration Using the ARM Scalable Vector Extension
2024-01-01 Rossi, F.; Cococcioni, M.; Saponara, S.
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover
2024-01-01 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco
Optimal Synthesis of Multi-output Boolean Functions Using Modern ILP Solvers
2024-01-01 Versari, Alessandro; Cococcioni, Marco
Regularization of Hole-Drilling Residual Stress Measurements with Eccentric Holes: An Approach with Influence Functions
2024-01-01 Beghini, M.; Bertini, L.; Cococcioni, M.; Grossi, T.; Santus, C.; Benincasa, and A.
Residual Stress Determination with the Hole-Drilling Method on FDM 3D-Printed Precurved Specimen through Digital Image Correlation
2024-01-01 Santus, Ciro; Neri, Paolo; Romoli, Luca; Cococcioni, Marco
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions
2024-01-01 Fiaschi, Lorenzo; Rossi, Federico; Cococcioni, Marco; Saponara, Sergio
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
2024-01-01 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
CHARLES: A C++ fixed-point library for Photonic-Aware Neural Networks
2023-01-01 Paolini, Emilio; De Marinis, Lorenzo; Maggiani, Luca; Cococcioni, Marco; Andriolli, Nicola
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
2023-01-01 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching
2023-01-01 Rossi, F.; Fiaschi, L.; Cococcioni, M.; Saponara, S.
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments
2023-01-01 Piccoli, M.; Zoni, D.; Fornaciari, W.; Massari, G.; Cococcioni, M.; Rossi, F.; Saponara, S.; Ruffaldi, E.
Experiments on Speeding Up the Recursive Fast Fourier Transform by Using AVX-512 SIMD Instructions
2023-01-01 Sansone, G.; Cococcioni, M.