The University of Utah.;
机译:不确定性简单时态网络的高效处理:动态可控性验证算法
机译:MPI / OpenMP分子动力学混合并行化的可伸缩数据私有化线程算法分析
机译:网格应用的自适应性。基于进化计算算法的有效资源选择模型
机译:具有探针不确定性的MPI程序的可靠,高效的动态验证
机译:用于在流体动力学应用中计算拉格朗日相干结构的高效脊跟踪算法。
机译:动态释放室内单一污染物跟踪算法的实验验证
机译:具有探针不确定性的MPI程序的可靠,高效的动态验证Verification