Task-parallel global optimization with application to protein folding | IEEE Conference Publication | IEEE Xplore