Трек: Checkpointing The Un Checkpointable The Split Process Approach For Mpi And Formal Verification

Слушать
  • Загрузил: Microsoft Research

  • Длительность: 1 ч, 10 мин и 40 сек

  • Размер: 161.7 МБ

  • Битрейт: 320 Kbpsp

  • Прослушиваний: 767

Сейчас слушают

Смотреть все