Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures
From MaRDI portal
Publication:5125907
DOI10.1109/TC.2019.2953846MaRDI QIDQ5125907
Alessandro Danese, Federico Busato, Nicola Bombieri, Graziano Pravadelli, Luca Piccolboni
Publication date: 2 October 2020
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
68-XX: Computer science