Parallel processing; Algorithms; Automation; Chemical reactions; Computer programs; Electronic structure; Enzymes; Simulation; Transformations; Message passing interface(MPI); Petascale systems;
机译:基于MPI的并行程序的自动形式验证
机译:共享内存并行程序自动转换为顺序程序的基本结果
机译:通过源程序操作员图形转换自动优化流程序
机译:在应用程序中从PARMACS到MPI的自动转换
机译:Bamboo:将MPI源自动转换为延迟容忍的形式。
机译:核苷三磷酸促进Ah受体向其DNA结合形式的转化。
机译:将mpI程序自动转换为异步,图形驱动的形式