Exploiting GPU architectures for dynamic invariant mining

Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli. Exploiting GPU architectures for dynamic invariant mining. In 33rd IEEE International Conference on Computer Design, ICCD 2015, New York City, NY, USA, October 18-21, 2015. pages 192-195, IEEE Computer Society, 2015. [doi]

Authors

Nicola Bombieri

This author has not been identified. Look up 'Nicola Bombieri' in Google

Federico Busato

This author has not been identified. Look up 'Federico Busato' in Google

Alessandro Danese

This author has not been identified. Look up 'Alessandro Danese' in Google

Luca Piccolboni

This author has not been identified. Look up 'Luca Piccolboni' in Google

Graziano Pravadelli

This author has not been identified. Look up 'Graziano Pravadelli' in Google