Scalable Algorithms Enabled by Problem Structure

of results: This project extended the framework of timing analysis that we developed und previous NSF award (MIP-9014058) by adding sufficient functional (logical) content in the models to mit more accurate (less pessimistic) performance estimation while maintaining, or not significantly r ing, the level of coverage and efficiency of the functionless… CONTINUE READING