Department of Computer Science, Tokyo AT University Koganei, Tokyo, 184-8588, JAPAN;
performance evaluation; parallel and distributed program;
机译:使用性能评估虚拟并行机为消息传递程序建模
机译:基于协议的消息传递并行程序验证
机译:基于协同进化遗传算法的消息传递并行程序路径覆盖的测试数据生成
机译:对从普通程序派生的消息传递并行程序的分布式消息路由和运行时支持
机译:用于使用LAM-MPI的并行消息传递程序的交互式消息调试器。
机译:分布式尖峰神经网络仿真中的有效传递消息
机译:用于消息传递并行程序的并行化网络模拟器
机译:基于消息传递语义的并行程序规范与验证技术。