HPC Methods for Domains of Attraction Computation