Formal Refinement of BSP Programs with Early Cost Evaluation.

Virginia Niculescu

Published in: ISPDC (2011)

Keyphrases

high cost
database
formal model
evaluation methods
neural network
multiscale
multiresolution
data model
evaluation method
total cost
gold standard
kd trees