退出
我的积分:
中文文献批量获取
外文文献批量获取
廖名学; 何晓新; 范植华;
中国科学院软件研究所;
北京;
100080;
MPI程序; 算法; 死锁; 静态分析;
机译:在MPI程序中发现通信死锁的精确预测分析
机译:带有MUST的MPI运行时错误检测:死锁检测的进展
机译:带有MUST的MPI运行时错误检测:死锁检测的进步
机译:MPI程序中用于死锁检测的静态分析和符号执行
机译:分布式数据库系统中分布式死锁检测算法的性能研究
机译:用于提高使用静态和动态数据更新FE模型的可识别性的顺序框架
机译:基于Exascale MPI的程序死锁检测
机译:一种分布式死锁检测算法及其正确性证明。
机译:通过更改为除调用的MPI过程部分之外的过程或通过更改执行顺序来优化MPI过程的方法
机译:生成订单接收预测模型的方法,顺序接收预测模型,顺序接收预测设备,顺序接收预测方法和顺序接收预测程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。