default author photo

Marco Cococcioni

University of Pisa

Lungarno Pacinotti, 43

Pisa PI, 56126

Italy

SCHOLARLY PAPERS

4

DOWNLOADS

215

TOTAL CITATIONS

0

Scholarly Papers (4)

1.

Quantitative Delay Analysis of Gi/G/1 Queues with Heavy-Tailed Traffic by Means of Alpha Theory

Number of pages: 21 Posted: 19 Nov 2024
Francesco Fiorini, Marco Cococcioni and Michele Pagano
University of Pisa - Department of Information Engineering, University of Pisa and affiliation not provided to SSRN
Downloads 77 (830,555)

Abstract:

Loading...

GI/G/1 model, queuing delay, queuing system simulation, heavy-tailed distribution, Performance evaluation, NonStandard Analysis

2.

Compressed Real Numbers for Ai Computing on Vectorized Risc-V Cpu

Number of pages: 22 Posted: 30 Mar 2024
University of Pisa, University of Pisa, Barcelona Supercomputing Center, Barcelona Supercomputing Center, Barcelona Supercomputing Center, Barcelona Supercomputing Center, affiliation not provided to SSRN and University of Pisa
Downloads 71 (891,180)

Abstract:

Loading...

RISC-V processors, instruction set architecture extension, vectorized operations, Deep Neural Networks, Hardware-Software Co-Design

3.

Charles: A C++ Fixed-Point Library for Photonic-Aware Neural Networks

Number of pages: 13 Posted: 07 Oct 2022
Scuola Superiore Sant’Anna, Scuola Superiore Sant’Anna, Sma-RTy Italia Srl, University of Pisa and National Research Council of Italy
Downloads 39 (1,196,171)

Abstract:

Loading...

Photonic Neuromorphic Computing, Photonic Aware Neural Networks, Hardware Accelerators, Fixed-Point training/inference, C++ Library

4.

Neural Networks in Closed-Loop Systems: Verification Using Interval Arithmetic and Formal Prover

Number of pages: 29 Posted: 30 May 2024
Federico Rossi, Cinzia Bernardeschi and Marco Cococcioni
University of Pisa, affiliation not provided to SSRN and University of Pisa
Downloads 28 (1,372,601)

Abstract:

Loading...

Cyber-physical Systems, neural networks, closed-loop control systems, formal verification, interval arithmetic