机译:应用于高性能计算软件设计的正式方法:基于MPI单边通信的锁定的案例研究
Department of Computer Science, Purdue University, West Lafayette, IN, U.S.A.;
School of Computing, University of Utah, Salt Lake City, UT 84112, U.S.A.;
School of Computing, University of Utah, Salt Lake City, UT 84112, U.S.A.;
Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL 60439, U.S.A.;
Department of Computer Science, University of Illinois, Urbana, IL 61801, U.S.A.;
concurrent programming; formal verification; model checking; race condition; SPIN; dynamic analysis; high-performance computing (HPC); Message Passing Interface (MPI); one-sided communication;
机译:促进大学软件设计和建模课程形式方法研究的策略和工具支持
机译:基于范围的文件锁定协议下的MPI文件域分区方法的设计和评估
机译:基于形式模型的基于通信的列车控制软件开发
机译:使用MPI单面通信实现字节范围锁定
机译:基于MPI的高性能计算软件的形式分析。
机译:输入信号阶跃函数(ISSF)是在SBML模型中通过软件支持对输入信号进行编码的标准方法已应用于昼夜节律模型
机译:应用于高性能计算软件设计的正式方法:基于MPI单边通信的锁定的案例研究