Towards a Verified Parallel Implementation of Frequent Itemset Mining

Christopher D. Whitney, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017