1 citations · 1 across the 2 of their papers we have counts for
5 papers
Asynchronous Distributed-Memory Triangle Counting and LCC with RMA Caching
András Strausz, Flavio Vella, Salvatore Di Girolamo +2
Triangle count and local clustering coefficient are two core metrics for graph analysis. They find broad application in analyses such as community detection and link recommendation…
Blocking Techniques for Sparse Matrix Multiplication on Tensor Accelerators
Paolo Sylos Labini, Massimo Bernaschi, Francesco Silvestri +1
Tensor accelerators have gained popularity because they provide a cheap and efficient solution for speeding up computational-expensive tasks in Deep Learning and, more recently, in…
GPU-based parallelism for ASP-solving
Agostino Dovier, Andrea Formisano, Flavio Vella
Answer Set Programming (ASP) has become, the paradigm of choice in the field of logic programming and non-monotonic reasoning. Thanks to the availability of efficient solvers, ASP…
A Computational Model for Tensor Core Units
Rezaul Chowdhury, Francesco Silvestri, Flavio Vella
To respond to the need of efficient training and inference of deep neural networks, a plethora of domain-specific hardware architectures have been introduced, such as Google Tensor…
Accelerating Energy Games Solvers on Modern Architectures
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of the…