Parallelizing top-down interprocedural analyses.

Aws Albarghouthi Rahul Kumar Aditya V. Nori Sriram K. Rajamani

Published in: PLDI (2012)

Keyphrases

parallel processing
high level
database
machine learning
genetic algorithm
information systems
feature selection
three dimensional
medical images
distributed memory
parallel computers