E-LIB Suche - Ergebnisse für: Massini, Annalisa

1

Realizing Optimal All-to-All Personalized Communication Usi..:

Izzi, Daniele ; Massini, Annalisa
IEEE Access. 11 (2023) - p. 51064-51083 , 2023

2

A Bayesian Approach to Network Monitoring for Progressive F..:

Arrigoni, Viviana ; Bartolini, Novella ; Massini, Annalisa.
IEEE/ACM Transactions on Networking. 31 (2023) 2 - p. 770-783 , 2023

Link: https://doi.org/10.1109/..

3

All-to-All Personalized Communication on Fat-Trees Using La..:

, In: 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM),

Izzi, Daniele ; Massini, Annalisa - p. 1-6 , 2022

Link: https://doi.org/10.23919..

4

A Constraint Optimization–Based Sense and Response System f..:

Mari, Federico ; Massini, Annalisa ; Melatti, Igor.
Applied Artificial Intelligence. 35 (2021) 5 - p. 353-372 , 2021

Link: https://doi.org/10.1080/..

5

On checking equivalence of simulation scripts:

Mancini, Toni ; Mari, Federico ; Massini, Annalisa..
Journal of Logical and Algebraic Methods in Programming. 120 (2021) - p. 100640 , 2021

Link: https://doi.org/10.1016/..

6

Efficiently Parallelizable Strassen-Based Multiplication of..:

, In: 50th International Conference on Parallel Processing,

Arrigoni, Viviana ; Maggioli, Filippo ; Massini, Annalisa. - p. 1-12 , 2021

Link: https://dl.acm.org/doi/1..

7

Failure Localization through Progressive Network Tomography:

, In: IEEE INFOCOM 2021 - IEEE Conference on Computer Communications,

Arrigoni, Viviana ; Bartolini, Novella ; Massini, Annalisa. - p. 1-10 , 2021

Link: https://doi.org/10.1109/..

8

Topology Agnostic Bounds on Minimum Requirements for Networ..:

Arrigoni, Viviana ; Bartolini, Novella ; Massini, Annalisa
IEEE Access. 9 (2021) - p. 6076-6086 , 2021

Link: https://doi.org/10.1109/..

9

On Fundamental Bounds on Failure Identifiability by Boolean..:

Bartolini, Novella ; He, Ting ; Arrigoni, Viviana...
IEEE/ACM Transactions on Networking. 28 (2020) 2 - p. 588-601 , 2020

Link: https://doi.org/10.1109/..

10

Monte Carlo Based Statistical Model Checking of Cyber-Physi..:

Pappagallo, Angela ; Massini, Annalisa ; Tronci, Enrico
Information. 11 (2020) 12 - p. 588 , 2020

Link: https://doi.org/10.3390/..

11

Hybrid Solver for Quasi Block Diagonal Linear Systems:

, In: Parallel Processing and Applied Mathematics; Lecture Notes in Computer Science,

Arrigoni, Viviana ; Massini, Annalisa - p. 129-140 , 2020

Link: https://doi.org/10.1007/..

12

Massive NGS data analysis reveals hundreds of potential nov..:

Gioiosa, Silvia ; Bolis, Marco ; Flati, Tiziano...
GigaScience. 7 (2018) 10 - p. , 2018

Link: https://doi.org/10.1093/..

13

On minimising the maximum expected verification time:

Mancini, Toni ; Mari, Federico ; Massini, Annalisa...
Information Processing Letters. 122 (2017) - p. 8-16 , 2017

Link: https://doi.org/10.1016/..

14

Anytime system level verification via parallel random exhau..:

Mancini, Toni ; Mari, Federico ; Massini, Annalisa..
Microprocessors and Microsystems. 41 (2016) - p. 12-28 , 2016

Link: https://doi.org/10.1016/..

15

High Performance Parallelization of COMPSYN on a Cluster of..:

Alessi, Ferdinando ; Massini, Annalisa ; Basili, Roberto
Procedia Computer Science. 9 (2012) - p. 966-975 , 2012

Link: https://doi.org/10.1016/..