6 citations · 8 across the 7 of their papers we have counts for
7 papers
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose
Viviana Arrigoni, Filippo Maggioli, Annalisa Massini +1
The multiplication of a matrix by its transpose, , appears as an intermediate operation in the solution of a wide set of problems. In this paper, we propose a new cache-obli…
Static and Dynamic Failure Localization through Progressive Network Tomography
Viviana Arrigoni, Novella Bartolini, Annalisa Massini +1
We aim at assessing the states of the nodes in a network by means of end-to-end monitoring paths. The contribution of this paper is twofold. First, we consider a static failure sce…
On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography
Novella Bartolini, Ting He, Viviana Arrigoni +2
Boolean network tomography is a powerful tool to infer the state (working/failed) of individual nodes from path-level measurements obtained by egde-nodes. We consider the problem o…
Fast Strassen-based Parallel Multiplication
Viviana Arrigoni, Annalisa Massini
Matrix multiplication appears as intermediate operation during the solution of a wide set of problems. In this paper, we propose a new cache-oblivious algorithm for the $A^…
Simulator Semantics for System Level Formal Verification
Toni Mancini, Federico Mari, Annalisa Massini +2
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators…
P&P protocol: local coordination of mobile sensors for self-deployment
N. Bartolini, A. Massini, S. Silvestri
The use of mobile sensors is of great relevance for a number of strategic applications devoted to monitoring critical areas where sensors can not be deployed manually. In these net…