Login / Signup

Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures.

Nicola BombieriFederico BusatoAlessandro DaneseLuca PiccolboniGraziano Pravadelli
Published in: IEEE Trans. Computers (2020)
Keyphrases