首页|Towards Efficient Verification of Parallel Applications with Mc SimGrid

Towards Efficient Verification of Parallel Applications with Mc SimGrid

Matthieu Laurent Thierry Jéron Martin Quinson

来源：

Arxiv

Towards Efficient Verification of Parallel Applications with Mc SimGrid

Matthieu Laurent ¹Thierry Jéron ²Martin Quinson³

作者信息

1. MAGELLAN, DEVINE
2. DEVINE
3. MAGELLAN
折叠

引用本文复制引用

Matthieu Laurent,Thierry Jéron,Martin Quinson.Towards Efficient Verification of Parallel Applications with Mc SimGrid[EB/OL].(2025-05-14)[2025-12-14].https://arxiv.org/abs/2505.09209.

学科分类

计算技术、计算机技术

首发时间： 2025-05-14

下载量：0

点击量：4

段落导航

Towards Efficient Verification of Parallel Applications with Mc SimGrid

Towards Efficient Verification of Parallel Applications with Mc SimGrid

引用本文复制引用

学科分类

评论