机译:使用顺序运行时分布进行SAT本地搜索的并行加速预测
JFLI / Univesity of Tokyo;
UNA, UMR 6241/ University of Nantes;
JFLI-CNRS / UPMC / University of Tokyo;
SAT; local search; parallelism; runtime distributions; statistical analysis;
机译:利用运行时分布来比较顺序和并行随机本地搜索算法
机译:自动并行化:在基于任务的并行运行时执行顺序程序
机译:回到未来:现有顺序运行时系统的增量并行化
机译:从顺序搜索到并行本地搜索SAT
机译:现有顺序运行时系统的增量并行化。
机译:快速ℓ1-精神压缩传感并行成像MRI:可扩展并行实施和临床可行的运行时间
机译:学习随机算法的顺序和并行运行时分布
机译:大型科学并行程序的加速预测