Towards a Verified Parallel Implementation of Frequent Itemset Mining

,
DOI
Type
Document de conference
Publication
International Conference on High Performance Computing and Simulation (HPCS)