17 citations · 47 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
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…
cs.DS2019
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…