high performance computing; runtime verification; stochastic systems;
机译:通过计算模拟和实验室间样品分析估算农药残留量中的误差传播
机译:通过计算模拟和实验室间样品分析估算农药残留量中的误差传播
机译:大型集群并行数值模拟运行系统的设计与实现
机译:运行时大规模计算模拟错误的测量
机译:用于基于DAG的计算框架的大规模分布式运行时系统。
机译:使用速度测量减少几何误差对流量计算的影响
机译:误码量子计算装置的大规模仿真
机译:利用T传输光测量裂缝孔径:测量误差的评估及其对单裂缝流动和输运模拟的影响;水资源研究